| changeset 62939 | ef8d840f39fb |
| parent 62932 | db12de2367ca |
| child 62958 | b41c1cb5e251 |
--- a/NEWS Sat Apr 09 20:38:08 2016 +0200 +++ b/NEWS Sat Apr 09 21:42:42 2016 +0200 @@ -36,6 +36,9 @@ * Command '\<proof>' is an alias for 'sorry', with different typesetting. E.g. to produce proof holes in examples and documentation. +* The old proof method "default" has been removed (legacy since +Isabelle2016). INCOMPATIBILITY, use "standard" instead. + *** HOL ***