author | wenzelm |
Fri, 28 Oct 2016 15:47:18 +0200 | |
changeset 64423 | 012b64bcd399 |
parent 64422 | efdd4c5daf7d |
child 64424 | 9ee2480d10b7 |
--- a/ANNOUNCE Thu Oct 27 21:52:44 2016 +0200 +++ b/ANNOUNCE Fri Oct 28 15:47:18 2016 +0200 @@ -4,7 +4,7 @@ Isabelle2016-1 is now available. This version introduces significant changes over Isabelle2016: see the NEWS -file for further details. Some notable points are as follows: +file for further details. Some notable changes: * Improved Isabelle/jEdit Prover IDE: more support for formal text structure, more visual feedback.