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/token.ML
changeset 67446 1f4d167b6ac9
parent 67440 e5ba0ca1e465
child 67495 90d760fa8f34 
--- a/src/Pure/Isar/token.ML	Tue Jan 16 09:58:17 2018 +0100
+++ b/src/Pure/Isar/token.ML	Tue Jan 16 11:27:52 2018 +0100
@@ -624,7 +624,7 @@
     scan_verbatim >> token_range Verbatim ||
     scan_cartouche >> token_range Cartouche ||
     scan_comment >> token_range (Comment NONE) ||
-    (Comment.scan_cancel || Comment.scan_latex) >> (fn (k, ss) => token (Comment (SOME k)) ss) ||
+    Comment.scan >> (fn (k, ss) => token (Comment (SOME k)) ss) ||
     scan_space >> token Space ||
     (Scan.max token_leq
       (Scan.max token_leq
isabelle