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 wording
authorblanchet
Wed, 08 Apr 2015 19:24:32 +0200
changeset 59967 2fcf41a626f7
parent 59966 c01cea2ba71e
child 59979 8a53364a3143
tuned wording
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Apr 08 19:19:02 2015 +0200
+++ b/NEWS	Wed Apr 08 19:24:32 2015 +0200
@@ -298,7 +298,7 @@
   - Minimization is now always enabled by default.
     Removed subcommand:
       min
-  - The proof reconstruction, both one-liners and Isar, has been
+  - Proof reconstruction, both one-liners and Isar, has been
     dramatically improved.
   - Improved support for CVC4 and veriT.
isabelle