src/Doc/JEdit/JEdit.thy
changeset 68068 b91c4acc1aaf
parent 68043 c3b55728941b
child 68227 1f7308050349
     1.1 --- a/src/Doc/JEdit/JEdit.thy	Wed May 02 17:35:51 2018 +0200
     1.2 +++ b/src/Doc/JEdit/JEdit.thy	Wed May 02 19:18:29 2018 +0200
     1.3 @@ -73,9 +73,9 @@
     1.4    Isabelle/jEdit (\figref{fig:isabelle-jedit}) consists of some plugins for
     1.5    the jEdit text editor, while preserving its general look-and-feel as far as
     1.6    possible. The main plugin is called ``Isabelle'' and has its own menu
     1.7 -  \<^emph>\<open>Plugins~/ Isabelle\<close> with access to several panels (see also
     1.8 -  \secref{sec:dockables}), as well as \<^emph>\<open>Plugins~/ Plugin Options~/ Isabelle\<close>
     1.9 -  (see also \secref{sec:options}).
    1.10 +  \<^emph>\<open>Plugins~/ Isabelle\<close> with access to several actions and add-on panels (see
    1.11 +  also \secref{sec:dockables}), as well as \<^emph>\<open>Plugins~/ Plugin Options~/
    1.12 +  Isabelle\<close> (see also \secref{sec:options}).
    1.13  
    1.14    The options allow to specify a logic session name, but the same selector is
    1.15    also accessible in the \<^emph>\<open>Theories\<close> panel (\secref{sec:theories}). After