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 57029 75cc30d2b83f
parent 57028 e5466055e94f
child 57084 70e288a4b32d 
--- a/NEWS	Tue May 20 22:28:08 2014 +0200
+++ b/NEWS	Tue May 20 22:28:44 2014 +0200
@@ -386,8 +386,8 @@
       - Activation of MaSh now works via the "mash" system option (without
         requiring restart), instead of former settings variable "MASH".
         The option can be edited in Isabelle/jEdit menu Plugin
-        Options / Isabelle / General. Allowed values include "sml" (for the new
-        SML engine), "py" (for the Python engine), and "no".
+        Options / Isabelle / General. Allowed values include "sml" (for the
+        default SML engine), "py" (for the old Python engine), and "none".
   - New option:
       smt_proofs
   - Renamed options:
isabelle