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.
tuned opt_mixfix failure;
authorwenzelm
Thu, 11 Mar 1999 21:55:23 +0100
changeset 6355 f05492a711b1
parent 6354 a4c75cbd2fbf
child 6356 6c01697e082e
tuned opt_mixfix failure;
src/Pure/Isar/outer_parse.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/outer_parse.ML	Thu Mar 11 21:53:50 1999 +0100
+++ b/src/Pure/Isar/outer_parse.ML	Thu Mar 11 21:55:23 1999 +0100
@@ -188,7 +188,7 @@
   Scan.optional ($$$ "(" |-- !!! (fix --| $$$ ")")) Syntax.NoSyn;
 
 val opt_infix = opt_fix (infxl || infxr);
-val opt_mixfix = opt_fix (mixfix || infxl || infxr || binder);
+val opt_mixfix = opt_fix (mixfix || binder || infxl || infxr);
 
 
 (* consts *)
isabelle