changeset 62312 | 5e5a881ebc12 |
parent 62284 | 1fd4831e9f93 |
child 62327 | 112eefe85ff0 |
--- a/NEWS Sun Feb 14 16:29:30 2016 +0100 +++ b/NEWS Sun Feb 14 16:30:27 2016 +0100 @@ -7,6 +7,10 @@ New in this Isabelle version ---------------------------- +*** Isar *** + +* Command '\<proof>' is an alias for 'sorry', with different +typesetting. E.g. to produce proof holes in examples and documentation. New in Isabelle2016 (February 2016)