NEWS
changeset 50219 f6b95f0bba78
parent 50198 0c7b351a6871
child 50231 81a067b188b8
--- a/NEWS	Mon Nov 26 11:45:12 2012 +0100
+++ b/NEWS	Mon Nov 26 11:46:19 2012 +0100
@@ -274,8 +274,9 @@
 
   - Added MaSh relevance filter based on machine-learning; see the
     Sledgehammer manual for details.
+  - Polished Isar proofs generated with "isar_proofs" option.
   - Rationalized type encodings ("type_enc" option).
-  - Renamed "kill_provers" subcommand to "kill"
+  - Renamed "kill_provers" subcommand to "kill".
   - Renamed options:
       isar_proof ~> isar_proofs
       isar_shrink_factor ~> isar_shrink