NEWS
changeset 59967 2fcf41a626f7
parent 59965 7199ad93b744
child 59986 f38b94549dc8
child 59990 a81dc82ecba3
     1.1 --- a/NEWS	Wed Apr 08 19:19:02 2015 +0200
     1.2 +++ b/NEWS	Wed Apr 08 19:24:32 2015 +0200
     1.3 @@ -298,7 +298,7 @@
     1.4    - Minimization is now always enabled by default.
     1.5      Removed subcommand:
     1.6        min
     1.7 -  - The proof reconstruction, both one-liners and Isar, has been
     1.8 +  - Proof reconstruction, both one-liners and Isar, has been
     1.9      dramatically improved.
    1.10    - Improved support for CVC4 and veriT.
    1.11