# HG changeset patch
# User blanchet
# Date 1259075510 -3600
# Node ID 4e0da333f75bcc6f0a05fc2f2d9353075fac1e82
# Parent  d9d0faf8d5118fe4c60f5147b66af792e2af2d40
use correct Isabelle version name in README file

diff -r d9d0faf8d511 -r 4e0da333f75b src/HOL/Tools/Nitpick/HISTORY
--- 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