# HG changeset patch
# User wenzelm
# Date 1315387587 -7200
# Node ID 1afb48f872aeb522787bf7a350ac2cf8d4ef7eda
# Parent  47e8c8daccae7a94a07515ec5b30cc4336aa8415
more NEWS;

diff -r 47e8c8daccae -r 1afb48f872ae NEWS
--- a/NEWS	Wed Sep 07 11:17:19 2011 +0200
+++ b/NEWS	Wed Sep 07 11:26:27 2011 +0200
@@ -9,22 +9,26 @@
 * Improved Isabelle/jEdit Prover IDE (PIDE), which can be invoked as
 "isabelle jedit" on the command line.
 
-  . Management of multiple theory files directly from the editor
+  - Management of multiple theory files directly from the editor
     buffer store -- bypassing the file-system (no requirement to save
     files for checking).
 
-  . Markup of formal entities within the text buffer, with semantic
+  - Markup of formal entities within the text buffer, with semantic
     highlighting, tooltips and hyperlinks to jump to defining source
     positions.
 
-  . Refined scheduling of proof checking and printing of results,
+  - Improved text rendering, with sub/superscripts in the source
+    buffer (including support for copy/paste wrt. output panel, HTML
+    theory output and other non-Isabelle text boxes).
+
+  - Refined scheduling of proof checking and printing of results,
     based on interactive editor view.  (Note: jEdit folding and
     narrowing allows to restrict buffer perspectives explicitly.)
 
-  . Reduced CPU performance requirements, usable on machines with few
+  - Reduced CPU performance requirements, usable on machines with few
     cores.
 
-  . Reduced memory requirements due to pruning of unused document
+  - Reduced memory requirements due to pruning of unused document
     versions (garbage collection).
 
 See also ~~/src/Tools/jEdit/README.html for further information,