# HG changeset patch
# User wenzelm
# Date 1512913844 -3600
# Node ID 4e5ba4b23731be5556ebe8aebbe664dfe67c102f
# Parent  258e1394e76afc70d1bab28a9871ded8ab37419e
removed Emacs legacy;

diff -r 258e1394e76a -r 4e5ba4b23731 src/Pure/Thy/latex.ML
--- a/src/Pure/Thy/latex.ML	Sun Dec 10 14:45:12 2017 +0100
+++ b/src/Pure/Thy/latex.ML	Sun Dec 10 14:50:44 2017 +0100
@@ -24,7 +24,6 @@
   val begin_tag: string -> string
   val end_tag: string -> string
   val environment: string -> string -> string
-  val tex_trailer: string
   val isabelle_theory: Position.T -> string -> string -> string
   val symbol_source: (string -> bool) * (string -> bool) ->
     string -> Symbol.symbol list -> string
@@ -235,17 +234,11 @@
 fun environment name =
   enclose ("%\n\\begin{" ^ output_name name ^ "}%\n") ("%\n\\end{" ^ output_name name ^ "}");
 
-val tex_trailer =
-  "%%% Local Variables:\n\
-  \%%% mode: latex\n\
-  \%%% TeX-master: \"root\"\n\
-  \%%% End:\n";
-
 fun isabelle_theory pos name txt =
   output_file pos ^
   "\\begin{isabellebody}%\n\
   \\\setisabellecontext{" ^ output_syms name ^ "}%\n" ^ txt ^
-  "%\n\\end{isabellebody}%\n" ^ tex_trailer;
+  "%\n\\end{isabellebody}%\n";
 
 fun symbol_source known name syms =
   isabelle_theory Position.none name
diff -r 258e1394e76a -r 4e5ba4b23731 src/Pure/Thy/present.ML
--- a/src/Pure/Thy/present.ML	Sun Dec 10 14:45:12 2017 +0100
+++ b/src/Pure/Thy/present.ML	Sun Dec 10 14:50:44 2017 +0100
@@ -213,7 +213,7 @@
   File.write_buffer (Path.append path (tex_path name)) src;
 
 fun write_tex_index tex_index path =
-  write_tex (index_buffer tex_index |> Buffer.add Latex.tex_trailer) doc_indexN path;
+  write_tex (index_buffer tex_index) doc_indexN path;
 
 fun finish () =
   with_session_info () (fn {name, chapter, info, info_path, doc_format,