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.
use correct Isabelle version name in README file
authorblanchet
Tue, 24 Nov 2009 16:11:50 +0100
changeset 33888 4e0da333f75b
parent 33887 d9d0faf8d511
child 33889 4328de748fb2
use correct Isabelle version name in README file
src/HOL/Tools/Nitpick/HISTORY file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Nitpick/HISTORY	Tue Nov 24 16:07:31 2009 +0100
+++ b/src/HOL/Tools/Nitpick/HISTORY	Tue Nov 24 16:11:50 2009 +0100
@@ -1,4 +1,4 @@
-Version 2010
+Version 2009-1
 
   * Moved into Isabelle/HOL "Main"
   * Renamed "nitpick_const_def" to "nitpick_def", "nitpick_const_simp" to
isabelle