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.
renamed Comment.empty to Comment.none;
authorwenzelm
Tue, 25 May 1999 20:21:30 +0200
changeset 6726 ac968ce542a8
parent 6725 b91772e592dc
child 6727 c8dba1da73cc
renamed Comment.empty to Comment.none;
src/Pure/Isar/outer_parse.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/outer_parse.ML	Tue May 25 20:21:05 1999 +0200
+++ b/src/Pure/Isar/outer_parse.ML	Tue May 25 20:21:30 1999 +0200
@@ -156,7 +156,7 @@
 (* formal comments *)
 
 val comment = text >> Comment.plain;
-val marg_comment = Scan.optional ($$$ "--" |-- comment) Comment.empty;
+val marg_comment = Scan.optional ($$$ "--" |-- comment) Comment.none;
 val interest = Scan.optional ($$$ "%" >> K Comment.no_interest) Comment.default_interest;
isabelle