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 50720 834847691d99
parent 50717 30bcdd5c8e78
child 50731 72624ff45676 
--- a/NEWS	Fri Jan 04 19:00:49 2013 +0100
+++ b/NEWS	Fri Jan 04 19:00:49 2013 +0100
@@ -139,7 +139,7 @@
     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_all".
   - Renamed options:
       isar_proof ~> isar_proofs
       isar_shrink_factor ~> isar_shrink
isabelle