some PIDE NEWS from this summer;
authorwenzelm
Sat Sep 22 21:23:16 2012 +0200 (2012-09-22)
changeset 495326f7cc8e42716
parent 49531 8d68162b7826
child 49533 484ac6cb13e6
some PIDE NEWS from this summer;
CONTRIBUTORS
NEWS
     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