equal
deleted
inserted
replaced
71 \end{figure} |
71 \end{figure} |
72 |
72 |
73 Isabelle/jEdit (\figref{fig:isabelle-jedit}) consists of some plugins for |
73 Isabelle/jEdit (\figref{fig:isabelle-jedit}) consists of some plugins for |
74 the jEdit text editor, while preserving its general look-and-feel as far as |
74 the jEdit text editor, while preserving its general look-and-feel as far as |
75 possible. The main plugin is called ``Isabelle'' and has its own menu |
75 possible. The main plugin is called ``Isabelle'' and has its own menu |
76 \<^emph>\<open>Plugins~/ Isabelle\<close> with access to several panels (see also |
76 \<^emph>\<open>Plugins~/ Isabelle\<close> with access to several actions and add-on panels (see |
77 \secref{sec:dockables}), as well as \<^emph>\<open>Plugins~/ Plugin Options~/ Isabelle\<close> |
77 also \secref{sec:dockables}), as well as \<^emph>\<open>Plugins~/ Plugin Options~/ |
78 (see also \secref{sec:options}). |
78 Isabelle\<close> (see also \secref{sec:options}). |
79 |
79 |
80 The options allow to specify a logic session name, but the same selector is |
80 The options allow to specify a logic session name, but the same selector is |
81 also accessible in the \<^emph>\<open>Theories\<close> panel (\secref{sec:theories}). After |
81 also accessible in the \<^emph>\<open>Theories\<close> panel (\secref{sec:theories}). After |
82 startup of the Isabelle plugin, the selected logic session image is provided |
82 startup of the Isabelle plugin, the selected logic session image is provided |
83 automatically by the Isabelle build tool @{cite "isabelle-system"}: if it is |
83 automatically by the Isabelle build tool @{cite "isabelle-system"}: if it is |