NEWS
changeset 68883 3653b3ad729e
parent 68879 feb1b1b3c51f
child 68938 a0b19a163f5e
     1.1 --- a/NEWS	Sun Sep 02 20:51:07 2018 +0200
     1.2 +++ b/NEWS	Sun Sep 02 21:22:52 2018 +0200
     1.3 @@ -58,6 +58,14 @@
     1.4  observes the official standard).
     1.5  
     1.6  
     1.7 +*** System ***
     1.8 +
     1.9 +* Isabelle Server message "use_theories" terminates more robustly in the
    1.10 +presence of structurally broken sources: full consolidation of theories
    1.11 +is no longer required.
    1.12 +
    1.13 +
    1.14 +
    1.15  New in Isabelle2018 (August 2018)
    1.16  ---------------------------------
    1.17