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