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 attrib;
authorwenzelm
Sun, 13 Feb 2000 21:00:02 +0100
changeset 8237 89002bc362c5
parent 8236 df3f983f5858
child 8238 78fd6355ebb5
tuned attrib;
src/Pure/Isar/outer_parse.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/outer_parse.ML	Sun Feb 13 20:58:13 2000 +0100
+++ b/src/Pure/Isar/outer_parse.ML	Sun Feb 13 21:00:02 2000 +0100
@@ -267,7 +267,7 @@
 
 (* theorem specifications *)
 
-val attrib = position ((xname || keyword_sid) -- !!! (args OuterLex.is_sid false)) >> Args.src;
+val attrib = position ((keyword_sid || xname) -- !!! (args OuterLex.is_sid false)) >> Args.src;
 val attribs = $$$ "[" |-- !!! (list attrib --| $$$ "]");
 val opt_attribs = Scan.optional attribs [];
isabelle