--- 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.
--- 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.