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/more_antiquote.ML
changeset 28921 e60a41c21768
parent 28727 185110a4b97a
child 29397 aab26a65e80f 
--- a/doc-src/more_antiquote.ML	Sun Nov 30 18:10:00 2008 +0100
+++ b/doc-src/more_antiquote.ML	Mon Dec 01 12:16:59 2008 +0100
@@ -22,7 +22,10 @@
     val parse = Scan.repeat
       (Scan.this_string "\n" |-- Scan.succeed "\\\\\n\\hspace*{0pt}"
         || (Scan.this_string " " 
+          || Scan.this_string "."
+          || Scan.this_string ","
           || Scan.this_string ":"
+          || Scan.this_string ";"
           || Scan.this_string "\"" |-- Scan.succeed "{\\char34}"
           || Scan.this_string "#" |-- Scan.succeed "{\\char35}"
           || Scan.this_string "$" |-- Scan.succeed "{\\char36}"
isabelle