NEWS
changeset 60610 f52b4b0c10c4
parent 60595 804dfdc82835
child 60617 0eb41780449b
     1.1 --- a/NEWS	Mon Jun 29 19:27:07 2015 +0200
     1.2 +++ b/NEWS	Mon Jun 29 20:55:46 2015 +0200
     1.3 @@ -7,6 +7,12 @@
     1.4  New in this Isabelle version
     1.5  ----------------------------
     1.6  
     1.7 +*** Prover IDE -- Isabelle/Scala/jEdit ***
     1.8 +
     1.9 +* Improved scheduling for urgent print tasks (e.g. command state output,
    1.10 +interactive queries) wrt. long-running background tasks.
    1.11 +
    1.12 +
    1.13  *** Isar ***
    1.14  
    1.15  * Command 'obtain' binds term abbreviations (via 'is' patterns) in the