Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
OAF
alignment-finder
Commits
1b4c81c4
Commit
1b4c81c4
authored
Apr 28, 2018
by
Michael Kohlhase
Browse files
visual-line mode
parent
7b1ce4ca
Changes
3
Hide whitespace changes
Inline
Side-by-side
tex/intro.tex
View file @
1b4c81c4
...
...
@@ -94,5 +94,6 @@ In Section~\ref{sec:prelim}, we revise the basics of MMT and the representations
%%% Local Variables:
%%% mode: latex
%%% eval: (visual-line-mode) (set-fill-coloumn 5000)
%%% TeX-master: "paper"
%%% End:
tex/paper.tex
View file @
1b4c81c4
...
...
@@ -122,6 +122,7 @@ Open Archive for Formalizations (KO 2428/13-1).
%%% Local Variables:
%%% mode: latex
%%% eval: (visual-line-mode) (set-fill-coloumn 5000)
%%% TeX-master: t
%%% End:
...
...
tex/prelim.tex
View file @
1b4c81c4
...
...
@@ -192,5 +192,6 @@ The resulting formalizations are then used as meta-theory for imports of the lib
%%% Local Variables:
%%% mode: latex
%%% eval: (visual-line-mode) (set-fill-coloumn 5000)
%%% TeX-master: "paper"
%%% End:
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment