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.
sect: exlude ":" from parser;
authorwenzelm
Wed, 08 Mar 2000 23:46:59 +0100
changeset 8381 4fc7e63781f6
parent 8380 c96953faf0a4
child 8382 52d5fae273dd
sect: exlude ":" from parser;
src/Pure/Isar/method.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/method.ML	Wed Mar 08 23:45:37 2000 +0100
+++ b/src/Pure/Isar/method.ML	Wed Mar 08 23:46:59 2000 +0100
@@ -458,7 +458,7 @@
 
 local
 
-fun sect ss = Scan.first (map (fn s => Scan.lift (s --| Args.$$$ ":")) ss);
+fun sect ss = Scan.first (map Scan.lift ss);
 fun thms ss = Scan.unless (sect ss) Attrib.local_thms;
 fun thmss ss = Scan.repeat (thms ss) >> flat;
isabelle