Mercurial Mercurial > hg > isabelle-cookbook / 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.
CookBook/Parsing.thy
changeset 132 2d9198bcb850
parent 131 8db9195bb3e9
child 133 3e94ccc0f31e 
--- a/CookBook/Parsing.thy	Mon Feb 23 00:27:27 2009 +0000
+++ b/CookBook/Parsing.thy	Mon Feb 23 17:08:15 2009 +0000
@@ -429,7 +429,7 @@
 in 
   (Scan.dest_lexicon commands, Scan.dest_lexicon keywords)
 end" 
-"([\"}\", \"{\", \<dots>],[\"\<rightleftharpoons>\", \"\<leftharpoondown>\", \<dots>])"}
+"([\"}\", \"{\", \<dots>], [\"\<rightleftharpoons>\", \"\<leftharpoondown>\", \<dots>])"}
 
   The parser @{ML "OuterParse.$$$"} parses a single keyword. For example:
isabelle-cookbook