equal
deleted
inserted
replaced
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 LOGIC" opens the ROOT |
56 entry of the specified logic session in the editor, while its parent is |
56 entry of the specified logic session in the editor, while its parent is |
57 used for formal checking. |
57 used for formal checking. |
58 |
|
59 * Improved support for editing of a complex session hierarchy with |
|
60 session-qualified theory imports: "isabelle jedit -A". |
|
61 |
58 |
62 * The PIDE document model maintains file content independently of the |
59 * The PIDE document model maintains file content independently of the |
63 status of jEdit editor buffers. Reloading jEdit buffers no longer causes |
60 status of jEdit editor buffers. Reloading jEdit buffers no longer causes |
64 changes of formal document content. Theory dependencies are always |
61 changes of formal document content. Theory dependencies are always |
65 resolved internally, without the need for corresponding editor buffers. |
62 resolved internally, without the need for corresponding editor buffers. |