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.
tuned comment
authorblanchet
Fri, 31 Jan 2014 10:23:32 +0100
changeset 55200 777328c9f1ea
parent 55199 ba93ef2c0d27
child 55201 1ee776da8da7
tuned comment
src/Pure/Tools/sledgehammer_params.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/sledgehammer_params.scala	Fri Jan 31 10:23:32 2014 +0100
+++ b/src/Pure/Tools/sledgehammer_params.scala	Fri Jan 31 10:23:32 2014 +0100
@@ -2,7 +2,7 @@
     Author:     Makarius
 
 Protocol for Sledgehammer parameters from ML (see also
-HOL/Tools/Sledgehammer/sledgehammer_isar.ML).  */
+HOL/Tools/Sledgehammer/sledgehammer_commands.ML).  */
 
 package isabelle
isabelle