NEWS
changeset 62169 a6047f511de7
parent 62168 e97452d79102
child 62201 eca7b38c8ee5
     1.1 --- a/NEWS	Wed Jan 13 16:41:32 2016 +0100
     1.2 +++ b/NEWS	Wed Jan 13 16:55:56 2016 +0100
     1.3 @@ -53,6 +53,10 @@
     1.4  * Toplevel theorem statement 'proposition' is another alias for
     1.5  'theorem'.
     1.6  
     1.7 +* The old 'defs' command has been removed (legacy since Isabelle2014).
     1.8 +INCOMPATIBILITY, use regular 'definition' instead. Overloaded and/or
     1.9 +deferred definitions require a surrounding 'overloading' block.
    1.10 +
    1.11  
    1.12  *** Prover IDE -- Isabelle/Scala/jEdit ***
    1.13