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;
authorwenzelm
Tue, 22 Dec 2009 21:46:41 +0100
changeset 34167 0a5e2c5195d5
parent 34166 446a33b874b3
child 34168 18843829c7f2
tuned;
src/Pure/Thy/thy_header.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thy_header.ML	Tue Dec 22 19:38:06 2009 +0100
+++ b/src/Pure/Thy/thy_header.ML	Tue Dec 22 21:46:41 2009 +0100
@@ -35,7 +35,7 @@
 val file_name = P.group "file name" P.name;
 val theory_name = P.group "theory name" P.name;
 
-val file = (P.$$$ "(" |-- P.!!! (file_name --| P.$$$ ")")) >> rpair false || file_name >> rpair true;
+val file = P.$$$ "(" |-- P.!!! (file_name --| P.$$$ ")") >> rpair false || file_name >> rpair true;
 val uses = Scan.optional (P.$$$ usesN |-- P.!!! (Scan.repeat1 file)) [];
 
 val args =
isabelle