changeset 66651 | 435cb8d69e27 |
parent 66650 | bcea02893d17 |
child 66661 | fdab65297bd6 |
--- a/NEWS Fri Sep 08 19:55:18 2017 +0200 +++ b/NEWS Fri Sep 08 19:37:46 2017 +0200 @@ -4,6 +4,10 @@ (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) +New in this Isabelle version +---------------------------- + + New in Isabelle2017 (October 2017) ----------------------------------