Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 40062 cfaebaa8588f
parent 40059 6ad9081665db
child 40078 0b3440d09ba6
child 40116 9ed3711366c8 
--- a/NEWS	Fri Oct 22 09:50:18 2010 +0200
+++ b/NEWS	Fri Oct 22 11:11:34 2010 +0200
@@ -296,7 +296,7 @@
     INCOMPATIBILITY.
   - Renamed options:
     sledgehammer [atps = ...] ~> sledgehammer [provers = ...]
-    sledgehammer [atp = ...] ~> sledgehammer [provers = ...]
+    sledgehammer [atp = ...] ~> sledgehammer [prover = ...]
     INCOMPATIBILITY.
isabelle