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 53801 342e371395c6
parent 53766 b260a0ce7482
child 53803 b6a947a2c615 
--- a/NEWS	Mon Sep 23 14:53:43 2013 +0200
+++ b/NEWS	Mon Sep 23 14:53:43 2013 +0200
@@ -395,7 +395,7 @@
   - Renamed option:
       isar_shrink ~> isar_compress
     INCOMPATIBILITY.
-  - Added option "isar_try0"
+  - Added options "isar_try0", "spy"
   - Better support for "isar_proofs"
   - MaSh has been fined-tuned and now runs as a local server
isabelle