1.1 --- a/CONTRIBUTORS Sat Sep 22 20:38:42 2012 +0200
1.2 +++ b/CONTRIBUTORS Sat Sep 22 21:23:16 2012 +0200
1.3 @@ -6,6 +6,9 @@
1.4 Contributions to this Isabelle version
1.5 --------------------------------------
1.6
1.7 +* 2012: Makarius Wenzel, Université Paris-Sud / LRI
1.8 + Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
1.9 +
1.10 * September 2012: Florian Haftmann, TUM
1.11 Lattice instances for type option.
1.12
2.1 --- a/NEWS Sat Sep 22 20:38:42 2012 +0200
2.2 +++ b/NEWS Sat Sep 22 21:23:16 2012 +0200
2.3 @@ -6,6 +6,15 @@
2.4
2.5 *** General ***
2.6
2.7 +* Prover IDE (PIDE) improvements:
2.8 + . parallel terminal proofs ('by');
2.9 + . improved output panel with tooltips, hyperlinks etc.;
2.10 + . more efficient painting, improved reactivity;
2.11 + . more robust incremental parsing of outer syntax (partial
2.12 + comments, malformed symbols);
2.13 + . more plugin options and preferences, based on Isabelle/Scala;
2.14 + . uniform Java 7 platform on Linux, Mac OS X, Windows;
2.15 +
2.16 * Command 'ML_file' evaluates ML text from a file directly within the
2.17 theory, without any predeclaration via 'uses' in the theory header.
2.18