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 911d229c1f02613338a7294f79ce41d38a6c6be3..9213c5515994ba0cc97e25b8d5f7854c6bcbae97 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 3b9161f0e61187221e8950a4dc65bb3efda01f54..daeee3fd10844b351fde9109a96656bd73bd79b5 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 ef2533e3bf80f008601ae9b5a69a47cd22209ccd..20c43e3594eebaede01f3e94821b9f012c035d5f 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 6080bc02d007860ad2b2084b0b70ba142acec784..de37cf5c0bef57fee3adac52464fa0195f301a19 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 ed55016047d2f4c8e33cd1bddb89ef4d8962c080..941958d2ca74c23a9a796aa67aac0b5d0d8e9c7e 100644 (file)
 
     \subsection{Determinism}
       How to prove this?
+
+% vim: set sw=2 sts=2 expandtab:
index d1862475688e1df1ad39876cd70b7c874862a805..6db0d8632e089e810e5735c09b00ee068a1391cc 100644 (file)
       checking usage constraints on state variables.
 
       \todo{Implementation issues: Separate compilation, simplified core.}
+
+% vim: set sw=2 sts=2 expandtab:
index 945b76a8c1c9d83a0be63edbae0b186b013219b3..c7a4e9df9319d605476d15ebaef3aa4751edf774 100644 (file)
@@ -38,3 +38,5 @@ Matthijs Kooijman
 \input Chapters/Normalization
 \input Chapters/Future
 \stoptext
+
+% vim: set sw=2 sts=2 expandtab:
index 691d2f826638a9f2e54e9610d3f99b881d3a3218..ca423acbe758d80a6c78d3727e6c571c8675c9c8 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 770dfb137d8368e79d4038a4d7d54ee76193f319..5d3aa094eddaa96a19988a26d46ddddf74a1c4f3 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 9efeaf4a39414849e3999b28f8631482ffe9aea2..93e9d67bff859a0376ad0920b2f38cf55f1f8c51 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 41977e0175f0c52902dd4aec7b4c376d40659e4b..f08d75ee65670b86e33c98b73394a361444feb1d 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 63b0620bd7b2556fa4bfec26aa8e378e10bee277..a9b485a205f6b4959c480e96f9546a756512b244 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 34f15b0745c046fd52f6dc4a1259e5abd2c919f4..f7def7331819f50b200130d580cd9687cc02ab0b 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: