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.
clean_string: map "_" to "\\_" (best used with underscore.sty);
authorwenzelm
Thu, 08 May 2008 22:17:37 +0200
changeset 26853 52cb0e965041
parent 26852 a31203f58b20
child 26854 9b4aec46ad78
clean_string: map "_" to "\\_" (best used with underscore.sty);
doc-src/antiquote_setup.ML file | annotate | diff | comparison | revisions 
--- 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