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.
doc-src/antiquote_setup.ML
changeset 26853 52cb0e965041
parent 26843 612ca951afee
child 26894 1120f6cc10b0 
--- a/doc-src/antiquote_setup.ML	Thu May 08 22:05:15 2008 +0200
+++ b/doc-src/antiquote_setup.ML	Thu May 08 22:17:37 2008 +0200
@@ -14,7 +14,7 @@
 (* misc utils *)
 
 val clean_string = translate_string
-  (fn "_" => "-"
+  (fn "_" => "\\_"
     | ">" => "$>$"
     | "#" => "\\#"
     | "{" => "\\{"
isabelle