| changeset 62216 | 5fb86150a579 |
| parent 62209 | 009c6e0b44bb |
| child 62284 | 1fd4831e9f93 |
--- a/NEWS Wed Jan 20 19:19:55 2016 +0100 +++ b/NEWS Wed Jan 20 20:19:05 2016 +0100 @@ -4,6 +4,11 @@ (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) +New in this Isabelle version +---------------------------- + + + New in Isabelle2016 (February 2016) -----------------------------------