Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/latex.ML
changeset 63590 4854f7ee0987
parent 61595 3591274c607e
child 63935 aa1fe1103ab8 
--- a/src/Pure/Thy/latex.ML	Tue Aug 02 21:30:30 2016 +0200
+++ b/src/Pure/Thy/latex.ML	Tue Aug 02 21:55:15 2016 +0200
@@ -45,7 +45,8 @@
 
 val char_table =
   Symtab.make
-   [("!", "{\\isacharbang}"),
+   [("\007", "{\\isacharbell}"),
+    ("!", "{\\isacharbang}"),
     ("\"", "{\\isachardoublequote}"),
     ("#", "{\\isacharhash}"),
     ("$", "{\\isachardollar}"),
isabelle