changeset 68883 | 3653b3ad729e |
parent 68879 | feb1b1b3c51f |
child 68938 | a0b19a163f5e |
--- a/NEWS Sun Sep 02 20:51:07 2018 +0200 +++ b/NEWS Sun Sep 02 21:22:52 2018 +0200 @@ -58,6 +58,14 @@ observes the official standard). +*** System *** + +* Isabelle Server message "use_theories" terminates more robustly in the +presence of structurally broken sources: full consolidation of theories +is no longer required. + + + New in Isabelle2018 (August 2018) ---------------------------------