1.1 --- a/NEWS	Tue Sep 06 21:40:58 2011 +0200
     1.2 +++ b/NEWS	Tue Sep 06 21:56:11 2011 +0200
     1.3 @@ -6,6 +6,30 @@
     1.4  
     1.5  *** General ***
     1.6  
     1.7 +* Improved Isabelle/jEdit Prover IDE (PIDE), which can be invoked as
     1.8 +"isabelle jedit" on the command line.
     1.9 +
    1.10 +  . Management of multiple theory files directly from the editor
    1.11 +    buffer store -- bypassing the file-system (no requirement to save
    1.12 +    files for checking).
    1.13 +
    1.14 +  . Markup of formal entities within the text buffer, with semantic
    1.15 +    highlighting, tooltips and hyperlinks to jump to defining source
    1.16 +    positions.
    1.17 +
    1.18 +  . Refined scheduling of proof checking and printing of results,
    1.19 +    based on interactive editor view.  (Note: jEdit folding and
    1.20 +    narrowing allows to restrict buffer perspectives explicitly.)
    1.21 +
    1.22 +  . Reduced CPU performance requirements, usable on machines with few
    1.23 +    cores.
    1.24 +
    1.25 +  . Reduced memory requirements due to pruning of unused document
    1.26 +    versions (garbage collection).
    1.27 +
    1.28 +See also ~~/src/Tools/jEdit/README.html for further information,
    1.29 +including some remaining limitations.
    1.30 +
    1.31  * Theory loader: source files are identified by content via SHA1
    1.32  digests.  Discontinued former path/modtime identification and optional
    1.33  ISABELLE_FILE_IDENT plugin scripts.