Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/outer_lex.ML
changeset 9195 29f1e53f9937
parent 9155 adfa40218e06
child 10748 74ed77fa5310 
--- 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