--- a/NEWS Wed Aug 09 00:14:28 2006 +0200
+++ b/NEWS Wed Aug 09 10:59:58 2006 +0200
@@ -28,6 +28,13 @@
* Command 'find_theorems': support "*" wildcard in "name:" criterion.
+* The ``prems limit'' option (cf. ProofContext.prems_limit) is now -1
+by default, which means that "prems" (and also "fixed variables") are
+suppressed from proof state output. Note that the ProofGeneral
+settings mechanism allows to change and save options persistently, but
+older versions of Isabelle will fail to start up if a negative prems
+limit is imposed.
+
*** Document preparation ***