--- a/doc-src/System/basics.tex Fri Dec 14 21:15:33 2007 +0100
+++ b/doc-src/System/basics.tex Fri Dec 14 21:15:34 2007 +0100
@@ -174,6 +174,9 @@
\item[\settdx{ISABELLE_LOGIC}] specifies the default logic to load if none is
given explicitely by the user. The default value is \texttt{HOL}.
+\item[\settdx{ISABELLE_LINE_EDITOR}] specifies the default line editor
+ for \texttt{isatool tty} (see also \S\ref{sec:tool-tty}).
+
\item[\settdx{ISABELLE_USEDIR_OPTIONS}] is implicitly prefixed to the command
line of any \texttt{isatool usedir} invocation (see also
\S\ref{sec:tool-usedir}). This typically contains compilation options for