changeset 68879 | feb1b1b3c51f |
parent 68848 | 8825efd1c2cf |
child 68883 | 3653b3ad729e |
--- a/NEWS Sun Sep 02 19:48:15 2018 +0200 +++ b/NEWS Sun Sep 02 20:10:53 2018 +0200 @@ -14,6 +14,12 @@ specified in seconds; a negative value means it is disabled (default). +*** Isar *** + +* More robust treatment of structural errors: begin/end blocks take +precedence over goal/proof. + + *** HOL *** * Simplified syntax setup for big operators under image. In rare