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_syntax.ML
changeset 27872 631371a02b8c
parent 27855 b1bf607e06c2
child 28424 fc6ce1c4d5b7 
--- a/src/Pure/Isar/outer_syntax.ML	Thu Aug 14 19:52:36 2008 +0200
+++ b/src/Pure/Isar/outer_syntax.ML	Thu Aug 14 19:52:37 2008 +0200
@@ -172,7 +172,7 @@
     src
     |> T.source_proper
     |> Source.source T.stopper
-      (Scan.bulk (P.$$$ "--" -- P.!!! P.text >> K NONE || P.not_eof >> SOME))
+      (Scan.bulk (P.$$$ "--" -- P.!!! P.doc_source >> K NONE || P.not_eof >> SOME))
         (Option.map recover do_recover)
     |> Source.map_filter I
     |> Source.source T.stopper
isabelle