NEWS
changeset 13284 20c818c966e6
parent 13280 306ef3aef61b
child 13344 c8eb3fbf4c0c
     1.1 --- a/NEWS	Tue Jul 02 17:00:05 2002 +0200
     1.2 +++ b/NEWS	Tue Jul 02 17:44:13 2002 +0200
     1.3 @@ -9,7 +9,9 @@
     1.4  
     1.5  * improved thms_containing: proper indexing of facts instead of raw
     1.6  theorems; check validity of results wrt. current name space; include
     1.7 -local facts of proof configuration (also covers active locales);
     1.8 +local facts of proof configuration (also covers active locales); an
     1.9 +optional limit for the number of printed facts may be given (the
    1.10 +default is 40);
    1.11  
    1.12  
    1.13  *** HOL ***