NEWS
changeset 54319 219dd1028399
parent 54305 d2def195bb6b
child 54332 a38160ad741c
equal deleted inserted replaced
54318:1bdd8f541a06 54319:219dd1028399
    73 or shortcut "C+e SPACE".
    73 or shortcut "C+e SPACE".
    74 
    74 
    75 * Improved completion mechanism, which is now managed by the
    75 * Improved completion mechanism, which is now managed by the
    76 Isabelle/jEdit plugin instead of SideKick.  Refined table of Isabelle
    76 Isabelle/jEdit plugin instead of SideKick.  Refined table of Isabelle
    77 symbol abbreviations (see $ISABELLE_HOME/etc/symbols).
    77 symbol abbreviations (see $ISABELLE_HOME/etc/symbols).
       
    78 
       
    79 * Standard jEdit keyboard shortcut C+b complete-word is remapped to
       
    80 isabelle.complete for explicit completion in Isabelle sources.
       
    81 INCOMPATIBILITY wrt. jEdit defaults, may have to invent new shortcuts
       
    82 to resolve conflict.
    78 
    83 
    79 * Improved support of various "minor modes" for Isabelle NEWS,
    84 * Improved support of various "minor modes" for Isabelle NEWS,
    80 options, session ROOT etc., with completion and SideKick tree view.
    85 options, session ROOT etc., with completion and SideKick tree view.
    81 
    86 
    82 * Strictly monotonic document update, without premature cancellation of
    87 * Strictly monotonic document update, without premature cancellation of