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