changeset 73112 | efc58b56a6c7 |
parent 73010 | a569465f8b57 |
child 73157 | 51c53a7c6473 |
--- a/ANNOUNCE Fri Jan 08 23:59:28 2021 +0100 +++ b/ANNOUNCE Sat Jan 09 00:11:52 2021 +0100 @@ -12,7 +12,7 @@ * Isabelle/jEdit: improved monitoring of Java and ML process. -* Isabelle/jEdit: various IDE feedback improvements. +* Isabelle/jEdit: look-and-feel and IDE feedback improvements. * Pure: improved handling of named contexts and local syntax bundles.