NEWS
changeset 60331 f215fd466e30
parent 60310 932221b62e89
child 60347 7d64ad9910e2
     1.1 --- a/NEWS	Mon Jun 01 13:52:35 2015 +0200
     1.2 +++ b/NEWS	Mon Jun 01 15:06:09 2015 +0200
     1.3 @@ -3,9 +3,16 @@
     1.4  
     1.5  (Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.)
     1.6  
     1.7 +
     1.8  New in this Isabelle version
     1.9  ----------------------------
    1.10  
    1.11 +*** Pure ***
    1.12 +
    1.13 +* Configuration option rule_insts_schematic has been discontinued
    1.14 +(intermediate legacy feature in Isabelle2015).  INCOMPATIBILITY.
    1.15 +
    1.16 +
    1.17  *** HOL ***
    1.18  
    1.19  * Discontinued simp_legacy_precond. Potential INCOMPATIBILITY.