Add vim modelines.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 30 Nov 2009 10:26:18 +0000 (11:26 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 30 Nov 2009 10:26:18 +0000 (11:26 +0100)
13 files changed:
Chapters/Context.tex
Chapters/Future.tex
Chapters/HardwareDescription.tex
Chapters/Introduction.tex
Chapters/Normalization.tex
Chapters/Prototype.tex
Report.tex
Utils/Fixme.tex
Utils/Fonts.tex
Utils/Formats.tex
Utils/Lambda.tex
Utils/Metapost.tex
Utils/Shortcuts.tex

index 911d229..9213c55 100644 (file)
@@ -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:
index 3b9161f..daeee3f 100644 (file)
@@ -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:
index ef2533e..20c43e3 100644 (file)
@@ -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:
index 6080bc0..de37cf5 100644 (file)
@@ -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:
index ed55016..941958d 100644 (file)
 
     \subsection{Determinism}
       How to prove this?
+
+% vim: set sw=2 sts=2 expandtab:
index d186247..6db0d86 100644 (file)
       checking usage constraints on state variables.
 
       \todo{Implementation issues: Separate compilation, simplified core.}
+
+% vim: set sw=2 sts=2 expandtab:
index 945b76a..c7a4e9d 100644 (file)
@@ -38,3 +38,5 @@ Matthijs Kooijman
 \input Chapters/Normalization
 \input Chapters/Future
 \stoptext
+
+% vim: set sw=2 sts=2 expandtab:
index 691d2f8..ca423ac 100644 (file)
@@ -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:
index 770dfb1..5d3aa09 100644 (file)
@@ -33,3 +33,5 @@
 \definetypeface [Custom] [tt] [mono]  [modern]               [default]
 \definetypeface [Custom] [mm] [math]  [modern]     [default]
 \stoptypescript
+
+% vim: set sw=2 sts=2 expandtab:
index 9efeaf4..93e9d67 100644 (file)
@@ -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:
index 41977e0..f08d75e 100644 (file)
@@ -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:
index 63b0620..a9b485a 100644 (file)
@@ -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:
index 34f15b0..f7def73 100644 (file)
@@ -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: