From 100a8917713c1300a2002299cea94b04ac66848a Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Mon, 30 Nov 2009 11:26:18 +0100 Subject: [PATCH] Add vim modelines. --- Chapters/Context.tex | 2 ++ Chapters/Future.tex | 2 ++ Chapters/HardwareDescription.tex | 2 ++ Chapters/Introduction.tex | 2 ++ Chapters/Normalization.tex | 2 ++ Chapters/Prototype.tex | 2 ++ Report.tex | 2 ++ Utils/Fixme.tex | 2 ++ Utils/Fonts.tex | 2 ++ Utils/Formats.tex | 2 ++ Utils/Lambda.tex | 2 ++ Utils/Metapost.tex | 2 ++ Utils/Shortcuts.tex | 3 +++ 13 files changed, 27 insertions(+) diff --git a/Chapters/Context.tex b/Chapters/Context.tex index 911d229..9213c55 100644 --- a/Chapters/Context.tex +++ b/Chapters/Context.tex @@ -77,3 +77,5 @@ \todo[text]{Complete translation in TH is complex: Works with Haskell AST instead of Core} + +% vim: set sw=2 sts=2 expandtab: diff --git a/Chapters/Future.tex b/Chapters/Future.tex index 3b9161f..daeee3f 100644 --- a/Chapters/Future.tex +++ b/Chapters/Future.tex @@ -615,3 +615,5 @@ lightly. These options should be explored further to see if they provide feasible methods for describing don't care conditions. Possibly there are completely other methods which work better. + +% vim: set sw=2 sts=2 expandtab: diff --git a/Chapters/HardwareDescription.tex b/Chapters/HardwareDescription.tex index ef2533e..20c43e3 100644 --- a/Chapters/HardwareDescription.tex +++ b/Chapters/HardwareDescription.tex @@ -1019,3 +1019,5 @@ acc in s = (s', out) Due to these complications and limited time available, we leave other forms of recursion as future work as well. + +% vim: set sw=2 sts=2 expandtab: diff --git a/Chapters/Introduction.tex b/Chapters/Introduction.tex index 6080bc0..de37cf5 100644 --- a/Chapters/Introduction.tex +++ b/Chapters/Introduction.tex @@ -235,3 +235,5 @@ their application are the subject of the fourth chapter. The final chapter sketches ideas for further research, which are many. Some of them have seen some initial exploration and could provide a basis for future work in this area. + +% vim: set sw=2 sts=2 expandtab: diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex index ed55016..941958d 100644 --- a/Chapters/Normalization.tex +++ b/Chapters/Normalization.tex @@ -1862,3 +1862,5 @@ \subsection{Determinism} How to prove this? + +% vim: set sw=2 sts=2 expandtab: diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex index d186247..6db0d86 100644 --- a/Chapters/Prototype.tex +++ b/Chapters/Prototype.tex @@ -939,3 +939,5 @@ checking usage constraints on state variables. \todo{Implementation issues: Separate compilation, simplified core.} + +% vim: set sw=2 sts=2 expandtab: diff --git a/Report.tex b/Report.tex index 945b76a..c7a4e9d 100644 --- a/Report.tex +++ b/Report.tex @@ -38,3 +38,5 @@ Matthijs Kooijman \input Chapters/Normalization \input Chapters/Future \stoptext + +% vim: set sw=2 sts=2 expandtab: diff --git a/Utils/Fixme.tex b/Utils/Fixme.tex index 691d2f8..ca423ac 100644 --- a/Utils/Fixme.tex +++ b/Utils/Fixme.tex @@ -13,3 +13,5 @@ % Disable todo's and fixmes, only notes are meant for my supervisors. %\def\todo#1{} %\def\fixme#1{} + +% vim: set sw=2 sts=2 expandtab: diff --git a/Utils/Fonts.tex b/Utils/Fonts.tex index 770dfb1..5d3aa09 100644 --- a/Utils/Fonts.tex +++ b/Utils/Fonts.tex @@ -33,3 +33,5 @@ \definetypeface [Custom] [tt] [mono] [modern] [default] \definetypeface [Custom] [mm] [math] [modern] [default] \stoptypescript + +% vim: set sw=2 sts=2 expandtab: diff --git a/Utils/Formats.tex b/Utils/Formats.tex index 9efeaf4..93e9d67 100644 --- a/Utils/Formats.tex +++ b/Utils/Formats.tex @@ -35,3 +35,5 @@ % Put a bit of space betwen paragraphs, to make them easier to distinguish. \setupwhitespace[small] + +% vim: set sw=2 sts=2 expandtab: diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex index 41977e0..f08d75e 100644 --- a/Utils/Lambda.tex +++ b/Utils/Lambda.tex @@ -123,3 +123,5 @@ draw b; % commonly contain two boxed items (Before / after, code / picture). \definefloat[example][examples] \setupcaption[example][location=top] % Put captions on top + +% vim: set sw=2 sts=2 expandtab: diff --git a/Utils/Metapost.tex b/Utils/Metapost.tex index 63b0620..a9b485a 100644 --- a/Utils/Metapost.tex +++ b/Utils/Metapost.tex @@ -157,3 +157,5 @@ def midpoint(expr a, b) = ((a + b) / 2) enddef; % context. \let\normaloverrightarrow\overrightarrow \unexpanded\def\overrightarrow{\normaloverrightarrow} + +% vim: set sw=2 sts=2 expandtab: diff --git a/Utils/Shortcuts.tex b/Utils/Shortcuts.tex index 34f15b0..f7def73 100644 --- a/Utils/Shortcuts.tex +++ b/Utils/Shortcuts.tex @@ -2,6 +2,7 @@ % This file defines some useful shortcut commands % +\def\autoinsertnextspace{} % A shortcut for italicized e.g. and i.e. \define[0]\eg{{\em e.g.}\autoinsertnextspace} @@ -31,3 +32,5 @@ % Shortcuts to write in smallcaps \def\VHDL{\small{VHDL}\autoinsertnextspace} \def\GHC{\small{GHC}\autoinsertnextspace} + +% vim: set sw=2 sts=2 expandtab: -- 2.30.2