# HG changeset patch
# User wenzelm
# Date 1197663334 -3600
# Node ID 94bb4a85d35d940cd97622170e9002e7c25e2af8
# Parent  7726fbf5f81f7b11051ed920a6a107cacff32dd2
added ISABELLE_LINE_EDITOR setting;

diff -r 7726fbf5f81f -r 94bb4a85d35d doc-src/System/basics.tex
--- 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