--- a/NEWS Thu Jun 27 20:09:39 2013 +0200
+++ b/NEWS Thu Jun 27 23:17:26 2013 +0200
@@ -6,11 +6,12 @@
*** General ***
-* Uniform management of "quick_and_dirty" as system option (see also
-"isabelle options"), configuration option within the context (see also
-Config.get in Isabelle/ML), and attribute in Isabelle/Isar. Minor
-INCOMPATIBILITY, need to use more official Isabelle means to access
-quick_and_dirty, instead of historical poking into mutable reference.
+* Uniform management of "quick_and_dirty" and "proofs" as system
+options (see also "isabelle options"), configuration option within the
+context (see also Config.get in Isabelle/ML), and attribute in
+Isabelle/Isar. Minor INCOMPATIBILITY, need to use more official
+Isabelle means these options, instead of poking into mutable
+references.
* Renamed command 'print_configs' to 'print_options'. Minor
INCOMPATIBILITY.