equal
deleted
inserted
replaced
98 characters or completion); see also option "jedit_indent_input". |
98 characters or completion); see also option "jedit_indent_input". |
99 |
99 |
100 * Action "isabelle.preview" opens an HTML preview of the current theory |
100 * Action "isabelle.preview" opens an HTML preview of the current theory |
101 document in the default web browser. |
101 document in the default web browser. |
102 |
102 |
103 * Command-line invocation "isabelle jedit -R -l SESSION" uses the parent |
103 * Command-line invocation "isabelle jedit -R -l LOGIC" opens the ROOT |
104 image of the SESSION, with qualified theory imports restricted to that |
104 entry of the specified logic session in the editor, while its parent is |
105 portion of the session graph. Moreover, the ROOT entry of the SESSION is |
105 used for formal checking. |
106 opened in the editor. |
|
107 |
106 |
108 * The main Isabelle/jEdit plugin may be restarted manually (using the |
107 * The main Isabelle/jEdit plugin may be restarted manually (using the |
109 jEdit Plugin Manager), as long as the "Isabelle Base" plugin remains |
108 jEdit Plugin Manager), as long as the "Isabelle Base" plugin remains |
110 enabled at all times. |
109 enabled at all times. |
111 |
110 |