author | wenzelm |
Wed, 12 Jul 2006 19:59:13 +0200 | |
changeset 20111 | ba1676dd3546 |
parent 20110 | c2ffa1783319 |
child 20112 | a25c5d283239 |
--- 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 --| $$$ "]";