changeset 64439 | 2bafda87b524 |
parent 64391 | 553d8c4d7ef4 |
child 64441 | cc2da001465b |
--- a/NEWS Tue Nov 01 01:04:53 2016 +0100 +++ b/NEWS Tue Nov 01 01:20:33 2016 +0100 @@ -3,6 +3,10 @@ (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) +New in this Isabelle version +---------------------------- + + New in Isabelle2016-1 (December 2016) -------------------------------------