NEWS
changeset 26765 f2ea56490bfb
parent 26762 78ed28528ca6
child 26874 b2daa27fc0a7
     1.1 --- a/NEWS	Fri May 02 02:17:07 2008 +0200
     1.2 +++ b/NEWS	Fri May 02 15:49:04 2008 +0200
     1.3 @@ -98,6 +98,12 @@
     1.4  situations.
     1.5  
     1.6  
     1.7 +*** Isar ***
     1.8 +
     1.9 +* Pure: default proof step now includes 'unfold_locales'; hence
    1.10 +'proof' without argument may be used to unfold locale predicates.
    1.11 +
    1.12 +
    1.13  *** Document preparation ***
    1.14  
    1.15  * Antiquotation "lemma" takes a proposition and a simple method text as argument