--- a/NEWS Sun Jun 30 11:30:16 2013 +0200
+++ b/NEWS Sun Jun 30 11:37:34 2013 +0200
@@ -6,12 +6,11 @@
*** General ***
-* 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.
+* 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.
* Renamed command 'print_configs' to 'print_options'. Minor
INCOMPATIBILITY.