variables

tex/applications.tex

@@ -25,7 +25,8 @@ Note that even though the algorithm is in principle symmetric, some aspects ofte
 
 %%% Local Variables:
 %%% mode: latex
-%%% eval: (visual-line-mode) (set-fill-column 5000)
+%%% eval:  (set-fill-column 5000)
+%%% eval:  (visual-line-mode)
 %%% TeX-master: "paper"
 %%% End:
 

tex/conclusion.tex

@@ -16,7 +16,8 @@ Open Archive for Formalizations (KO 2428/13-1).
 
 %%% Local Variables:
 %%% mode: latex
-%%% eval: (visual-line-mode) (set-fill-column 5000) 
+%%% eval:  (set-fill-column 5000)
+%%% eval:  (visual-line-mode)
 %%% TeX-master: "paper"
 %%% End:
 

tex/intro.tex

@@ -96,7 +96,8 @@ Section~\ref{sec:appl} discusses additional applications and Section~\ref{sec:co
 
 %%% Local Variables:
 %%% mode: latex
-%%% eval: (visual-line-mode) (set-fill-column 5000)
+%%% eval:  (set-fill-column 5000)
+%%% eval:  (visual-line-mode)
 %%% TeX-master: "paper"
 %%% End:
 

tex/paper.tex

@@ -93,7 +93,7 @@
 
 \section{Introduction}\label{sec:intro}
 \input{intro}
-
+xi
 \section{Preliminaries}\label{sec:prelim}
 \input{prelim}
 
@@ -114,7 +114,8 @@
 
 %%% Local Variables:
 %%% mode: latex
-%%% eval: (visual-line-mode) (set-fill-column 5000)
+%%% eval:  (set-fill-column 5000)
+%%% eval:  (visual-line-mode)
 %%% TeX-master: t
 %%% End:
 

tex/prelim.tex

@@ -195,7 +195,8 @@ The resulting formalizations are then used as meta-theory for imports of the lib
 
 %%% Local Variables:
 %%% mode: latex
-%%% eval: (visual-line-mode) (set-fill-column 5000)
+%%% eval:  (set-fill-column 5000)
+%%% eval:  (visual-line-mode)
 %%% TeX-master: "paper"
 %%% End:
 

tex/usecase.tex

@@ -130,7 +130,8 @@ This example also hints at a way to iteratively improve the results of the view
 
 %%% Local Variables:
 %%% mode: latex
-%%% eval: (visual-line-mode) (set-fill-column 5000)
+%%% eval:  (set-fill-column 5000)
+%%% eval:  (visual-line-mode)
 %%% TeX-master: "paper"
 %%% End:
 

tex/viewfinder.tex

@@ -184,7 +184,8 @@ The symbols will hence be encoded in the component $t$ instead of the list $s$.
 
 %%% Local Variables:
 %%% mode: latex
-%%% eval: (visual-line-mode) (set-fill-column 5000)
+%%% eval:  (set-fill-column 5000)
+%%% eval:  (visual-line-mode)
 %%% TeX-master: "paper"
 %%% End: