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.
fixed is_semicolon (keyword instead of command!);
authorwenzelm
Thu, 29 Jun 2000 22:31:53 +0200
changeset 9195 29f1e53f9937
parent 9194 a57987e0250b
child 9196 1f6f66fe777a
fixed is_semicolon (keyword instead of command!);
src/Pure/Isar/outer_lex.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/outer_lex.ML	Thu Jun 29 22:31:29 2000 +0200
+++ b/src/Pure/Isar/outer_lex.ML	Thu Jun 29 22:31:53 2000 +0200
@@ -110,7 +110,7 @@
   | is_proper (Token (_, (Comment, _))) = false
   | is_proper _ = true;
 
-fun is_semicolon (Token (_, (Command, ";"))) = true
+fun is_semicolon (Token (_, (Keyword, ";"))) = true
   | is_semicolon _ = false;
 
 fun is_begin_ignore (Token (_, (Comment, "<"))) = true
isabelle