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.
query/bang_colon: separate tokens;
authorwenzelm
Wed, 12 Jul 2006 19:59:13 +0200
changeset 20111 ba1676dd3546
parent 20110 c2ffa1783319
child 20112 a25c5d283239
query/bang_colon: separate tokens;
src/Pure/Isar/args.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/args.ML	Wed Jul 12 17:40:52 2006 +0200
+++ b/src/Pure/Isar/args.ML	Wed Jul 12 19:59:13 2006 +0200
@@ -244,8 +244,8 @@
 val colon = $$$ ":";
 val query = $$$ "?";
 val bang = $$$ "!";
-val query_colon = $$$ "?:";
-val bang_colon = $$$ "!:";
+val query_colon = $$$ "?" ^^ $$$ ":";
+val bang_colon = $$$ "!" ^^ $$$ ":";
 
 fun parens scan = $$$ "(" |-- scan --| $$$ ")";
 fun bracks scan = $$$ "[" |-- scan --| $$$ "]";
isabelle