Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated headers;
authorwenzelm
Wed, 08 Jun 2011 17:49:01 +0200
changeset 43283 446e6621762d
parent 43282 5d294220ca43
child 43284 04d473e883df
updated headers;
src/HOL/Tools/ATP/atp_translate.ML file | annotate | diff | comparison | revisions
src/Pure/Isar/parse.scala file | annotate | diff | comparison | revisions
src/Pure/System/isabelle_process.scala file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_translate.ML	Wed Jun 08 17:42:07 2011 +0200
+++ b/src/HOL/Tools/ATP/atp_translate.ML	Wed Jun 08 17:49:01 2011 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML
+(*  Title:      HOL/Tools/ATP/atp_translate.ML
     Author:     Fabian Immler, TU Muenchen
     Author:     Makarius
     Author:     Jasmin Blanchette, TU Muenchen
--- 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.
--- a/src/Pure/System/isabelle_process.scala	Wed Jun 08 17:42:07 2011 +0200
+++ b/src/Pure/System/isabelle_process.scala	Wed Jun 08 17:49:01 2011 +0200
@@ -1,4 +1,4 @@
-/*  Title:      Pure/System/isabelle_process.ML
+/*  Title:      Pure/System/isabelle_process.scala
     Author:     Makarius
     Options:    :folding=explicit:collapseFolds=1:
isabelle