changeset 64423 | 012b64bcd399 |
parent 64392 | 9456313b57ed |
child 64428 | de00179d2147 |
--- 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.