NEWS
changeset 54305 d2def195bb6b
parent 54049 566b769c3477
child 54319 219dd1028399
equal deleted inserted replaced
54304:65c6a00ff86b 54305:d2def195bb6b
    70 document (visible and required parts) may be controlled explicitly,
    70 document (visible and required parts) may be controlled explicitly,
    71 using check box or shortcut "C+e ENTER".  Individual theory nodes may
    71 using check box or shortcut "C+e ENTER".  Individual theory nodes may
    72 be marked explicitly as required and checked in full, using check box
    72 be marked explicitly as required and checked in full, using check box
    73 or shortcut "C+e SPACE".
    73 or shortcut "C+e SPACE".
    74 
    74 
       
    75 * Improved completion mechanism, which is now managed by the
       
    76 Isabelle/jEdit plugin instead of SideKick.  Refined table of Isabelle
       
    77 symbol abbreviations (see $ISABELLE_HOME/etc/symbols).
       
    78 
       
    79 * Improved support of various "minor modes" for Isabelle NEWS,
       
    80 options, session ROOT etc., with completion and SideKick tree view.
       
    81 
    75 * Strictly monotonic document update, without premature cancellation of
    82 * Strictly monotonic document update, without premature cancellation of
    76 running transactions that are still needed: avoid reset/restart of
    83 running transactions that are still needed: avoid reset/restart of
    77 such command executions while editing.
    84 such command executions while editing.
    78 
       
    79 * Improved completion mechanism, which is now managed by the
       
    80 Isabelle/jEdit plugin instead of SideKick.  Refined table of Isabelle
       
    81 symbol abbreviations (see $ISABELLE_HOME/etc/symbols).
       
    82 
    85 
    83 * Support for asynchronous print functions, as overlay to existing
    86 * Support for asynchronous print functions, as overlay to existing
    84 document content.
    87 document content.
    85 
    88 
    86 * Support for automatic tools in HOL, which try to prove or disprove
    89 * Support for automatic tools in HOL, which try to prove or disprove