# HG changeset patch
# User wenzelm
# Date 1348341796 -7200
# Node ID 6f7cc8e4271692bb9dae6a35bc94a0f84e614002
# Parent  8d68162b78266200030627adecc74c90c8404f56
some PIDE NEWS from this summer;

diff -r 8d68162b7826 -r 6f7cc8e42716 CONTRIBUTORS
--- a/CONTRIBUTORS	Sat Sep 22 20:38:42 2012 +0200
+++ b/CONTRIBUTORS	Sat Sep 22 21:23:16 2012 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* 2012: Makarius Wenzel, Université Paris-Sud / LRI
+  Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
+
 * September 2012: Florian Haftmann, TUM
   Lattice instances for type option.
 
diff -r 8d68162b7826 -r 6f7cc8e42716 NEWS
--- a/NEWS	Sat Sep 22 20:38:42 2012 +0200
+++ b/NEWS	Sat Sep 22 21:23:16 2012 +0200
@@ -6,6 +6,15 @@
 
 *** General ***
 
+* Prover IDE (PIDE) improvements:
+    . parallel terminal proofs ('by');
+    . improved output panel with tooltips, hyperlinks etc.;
+    . more efficient painting, improved reactivity;
+    . more robust incremental parsing of outer syntax (partial
+      comments, malformed symbols);
+    . more plugin options and preferences, based on Isabelle/Scala;
+    . uniform Java 7 platform on Linux, Mac OS X, Windows;
+
 * Command 'ML_file' evaluates ML text from a file directly within the
 theory, without any predeclaration via 'uses' in the theory header.