NEWS
changeset 53852 c7707223d782
parent 53803 b6a947a2c615
child 53886 c83727c7a510
equal deleted inserted replaced
53851:86c8f15afd88 53852:c7707223d782
    54 and Unix command-line print spooling.  Minor INCOMPATIBILITY: use
    54 and Unix command-line print spooling.  Minor INCOMPATIBILITY: use
    55 'display_drafts' instead and print via the regular document viewer.
    55 'display_drafts' instead and print via the regular document viewer.
    56 
    56 
    57 
    57 
    58 *** Prover IDE -- Isabelle/Scala/jEdit ***
    58 *** Prover IDE -- Isabelle/Scala/jEdit ***
       
    59 
       
    60 * Separate manual "jedit" for Isabelle/jEdit, see isabelle doc or
       
    61 Documentation panel.
    59 
    62 
    60 * Improved "Theories" panel: Continuous checking of proof document
    63 * Improved "Theories" panel: Continuous checking of proof document
    61 (visible and required parts) may be controlled explicitly, using check
    64 (visible and required parts) may be controlled explicitly, using check
    62 box or shortcut "C+e ENTER".  Individual theory nodes may be marked
    65 box or shortcut "C+e ENTER".  Individual theory nodes may be marked
    63 explicitly as required and checked in full, using check box or
    66 explicitly as required and checked in full, using check box or