equal
deleted
inserted
replaced
1992 only processed on startup of Isabelle/jEdit, so changes to \<^verbatim>\<open>ROOT\<close> require a |
1992 only processed on startup of Isabelle/jEdit, so changes to \<^verbatim>\<open>ROOT\<close> require a |
1993 restart. |
1993 restart. |
1994 |
1994 |
1995 \<^medskip> The GUI elements of the \<^emph>\<open>Document\<close> panel (\figref{fig:document}), and its |
1995 \<^medskip> The GUI elements of the \<^emph>\<open>Document\<close> panel (\figref{fig:document}), and its |
1996 sub-panels for \<^emph>\<open>Input\<close> and \<^emph>\<open>Output\<close> are described below (from left to |
1996 sub-panels for \<^emph>\<open>Input\<close> and \<^emph>\<open>Output\<close> are described below (from left to |
1997 right). The screenshot of has two instances of the panel to illustrate both |
1997 right). The screenshot has two instances of the panel to illustrate both |
1998 \<^emph>\<open>Input\<close> and \<^emph>\<open>Output\<close> simultaneously. |
1998 \<^emph>\<open>Input\<close> and \<^emph>\<open>Output\<close> simultaneously. |
1999 |
1999 |
2000 \<^item> The \<^emph>\<open>session selector\<close> tells, which session should be the basis of the |
2000 \<^item> The \<^emph>\<open>session selector\<close> tells, which session should be the basis of the |
2001 document build job. This determines, which theories may be selected in the |
2001 document build job. This determines, which theories may be selected in the |
2002 \<^emph>\<open>Input\<close> tab (dynamically) and which \isakeyword{document\_files} should |
2002 \<^emph>\<open>Input\<close> tab (dynamically) and which \isakeyword{document\_files} should |