1.1 --- a/doc-src/antiquote_setup.ML	Thu May 08 22:05:15 2008 +0200
     1.2 +++ b/doc-src/antiquote_setup.ML	Thu May 08 22:17:37 2008 +0200
     1.3 @@ -14,7 +14,7 @@
     1.4  (* misc utils *)
     1.5  
     1.6  val clean_string = translate_string
     1.7 -  (fn "_" => "-"
     1.8 +  (fn "_" => "\\_"
     1.9      | ">" => "$>$"
    1.10      | "#" => "\\#"
    1.11      | "{" => "\\{"