Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
\isabellecontext: output_syms;
authorwenzelm
Wed, 18 Oct 2000 23:27:16 +0200
changeset 10247 33e542b4934c
parent 10246 d8c968e6329a
child 10248 d99e5eeb16f4
\isabellecontext: output_syms;
src/Pure/Thy/latex.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/latex.ML	Wed Oct 18 23:26:42 2000 +0200
+++ b/src/Pure/Thy/latex.ML	Wed Oct 18 23:27:16 2000 +0200
@@ -126,7 +126,7 @@
 
 fun isabelle_file name txt =
   "%\n\\begin{isabellebody}%\n\
-  \\\def\\isabellecontext{" ^ name ^ "}%\n" ^ txt ^
+  \\\def\\isabellecontext{" ^ output_syms name ^ "}%\n" ^ txt ^
   "\\end{isabellebody}%\n" ^ tex_trailer;
 
 fun old_symbol_source name syms =
isabelle