NEWS
changeset 65572 6acb28e5ba41
parent 65567 c556c09765dd
child 65575 f8681c62959d
equal deleted inserted replaced
65571:923e32ad0976 65572:6acb28e5ba41
    50 tutorial on code generation.
    50 tutorial on code generation.
    51 
    51 
    52 
    52 
    53 *** Prover IDE -- Isabelle/Scala/jEdit ***
    53 *** Prover IDE -- Isabelle/Scala/jEdit ***
    54 
    54 
    55 * Command-line invocation "isabelle jedit -R -l LOGIC" opens the ROOT
    55 * Command-line invocation "isabelle jedit -R -l SESSION" uses the parent
    56 entry of the specified logic session in the editor, while its parent is
    56 image of the SESSION, with qualified theory imports restricted to that
    57 used for formal checking.
    57 portion of the session graph. Moreover, the ROOT entry of the SESSION is
       
    58 opened in the editor.
    58 
    59 
    59 * The PIDE document model maintains file content independently of the
    60 * The PIDE document model maintains file content independently of the
    60 status of jEdit editor buffers. Reloading jEdit buffers no longer causes
    61 status of jEdit editor buffers. Reloading jEdit buffers no longer causes
    61 changes of formal document content. Theory dependencies are always
    62 changes of formal document content. Theory dependencies are always
    62 resolved internally, without the need for corresponding editor buffers.
    63 resolved internally, without the need for corresponding editor buffers.