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 MaSh serialization number (to reflect new weights)
authorblanchet
Mon, 17 Dec 2012 22:09:48 +0100
changeset 50588 074e937459b6
parent 50587 bd6582be1562
child 50589 42f3630a6a0f
updated MaSh serialization number (to reflect new weights)
src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML	Mon Dec 17 22:06:28 2012 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML	Mon Dec 17 22:09:48 2012 +0100
@@ -296,7 +296,7 @@
 
 local
 
-val version = "*** MaSh version 20121212a ***"
+val version = "*** MaSh version 20121217a ***"
 
 exception Too_New of unit
isabelle