NEWS
changeset 53886 c83727c7a510
parent 53852 c7707223d782
child 53968 814dbc4e84a3
--- a/NEWS	Wed Sep 25 16:21:27 2013 +0200
+++ b/NEWS	Wed Sep 25 16:29:35 2013 +0200
@@ -57,6 +57,8 @@
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
+* Improved support of native Mac OS X functionality.
+
 * Separate manual "jedit" for Isabelle/jEdit, see isabelle doc or
 Documentation panel.