NEWS;
authorwenzelm
Sun Sep 02 20:10:53 2018 +0200 (14 months ago ago)
changeset 68879feb1b1b3c51f
parent 68878 9203eb13bef7
child 68880 8b98db8fd183
NEWS;
NEWS
     1.1 --- a/NEWS	Sun Sep 02 19:48:15 2018 +0200
     1.2 +++ b/NEWS	Sun Sep 02 20:10:53 2018 +0200
     1.3 @@ -14,6 +14,12 @@
     1.4  specified in seconds; a negative value means it is disabled (default).
     1.5  
     1.6  
     1.7 +*** Isar ***
     1.8 +
     1.9 +* More robust treatment of structural errors: begin/end blocks take
    1.10 +precedence over goal/proof.
    1.11 +
    1.12 +
    1.13  *** HOL ***
    1.14  
    1.15  * Simplified syntax setup for big operators under image. In rare