more NEWS;
authorwenzelm
Wed Sep 07 11:26:27 2011 +0200 (2011-09-07)
changeset 447771afb48f872ae
parent 44776 47e8c8daccae
child 44778 18b1ba7cfcfe
more NEWS;
NEWS
     1.1 --- a/NEWS	Wed Sep 07 11:17:19 2011 +0200
     1.2 +++ b/NEWS	Wed Sep 07 11:26:27 2011 +0200
     1.3 @@ -9,22 +9,26 @@
     1.4  * Improved Isabelle/jEdit Prover IDE (PIDE), which can be invoked as
     1.5  "isabelle jedit" on the command line.
     1.6  
     1.7 -  . Management of multiple theory files directly from the editor
     1.8 +  - Management of multiple theory files directly from the editor
     1.9      buffer store -- bypassing the file-system (no requirement to save
    1.10      files for checking).
    1.11  
    1.12 -  . Markup of formal entities within the text buffer, with semantic
    1.13 +  - Markup of formal entities within the text buffer, with semantic
    1.14      highlighting, tooltips and hyperlinks to jump to defining source
    1.15      positions.
    1.16  
    1.17 -  . Refined scheduling of proof checking and printing of results,
    1.18 +  - Improved text rendering, with sub/superscripts in the source
    1.19 +    buffer (including support for copy/paste wrt. output panel, HTML
    1.20 +    theory output and other non-Isabelle text boxes).
    1.21 +
    1.22 +  - Refined scheduling of proof checking and printing of results,
    1.23      based on interactive editor view.  (Note: jEdit folding and
    1.24      narrowing allows to restrict buffer perspectives explicitly.)
    1.25  
    1.26 -  . Reduced CPU performance requirements, usable on machines with few
    1.27 +  - Reduced CPU performance requirements, usable on machines with few
    1.28      cores.
    1.29  
    1.30 -  . Reduced memory requirements due to pruning of unused document
    1.31 +  - Reduced memory requirements due to pruning of unused document
    1.32      versions (garbage collection).
    1.33  
    1.34  See also ~~/src/Tools/jEdit/README.html for further information,