From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Mon, 30 Nov 2009 10:26:18 +0000 (+0100)
Subject: Add vim modelines.
X-Git-Tag: final-thesis~137
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=100a8917713c1300a2002299cea94b04ac66848a;p=matthijs%2Fmaster-project%2Freport.git

Add vim modelines.
---

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: