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/Tools/rail.ML
changeset 69891 def3ec9cdb7e
parent 69592 a80d8ec6c998
child 71674 48ff625687f5 
--- a/src/Pure/Tools/rail.ML	Sun Mar 10 15:31:24 2019 +0100
+++ b/src/Pure/Tools/rail.ML	Sun Mar 10 21:12:29 2019 +0100
@@ -118,7 +118,7 @@
 
 val scan_token =
   scan_space >> token Space ||
-  Comment.scan >> (fn (kind, ss) => token (Comment kind) ss)||
+  Comment.scan_inner >> (fn (kind, ss) => token (Comment kind) ss) ||
   Antiquote.scan_antiq >> antiq_token ||
   scan_keyword >> (token Keyword o single) ||
   Lexicon.scan_id >> token Ident ||
isabelle