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/parse.scala
changeset 43283 446e6621762d
parent 36956 21be4832c362
child 44181 bbce0417236d 
--- a/src/Pure/Isar/parse.scala	Wed Jun 08 17:42:07 2011 +0200
+++ b/src/Pure/Isar/parse.scala	Wed Jun 08 17:49:01 2011 +0200
@@ -1,4 +1,4 @@
-/*  Title:      Pure/Isar/outer_parse.scala
+/*  Title:      Pure/Isar/parse.scala
     Author:     Makarius
 
 Generic parsers for Isabelle/Isar outer syntax.
isabelle