
diff -r 5538dea9474e -r d138fd74a1a1 doc-src/System/basics.tex
--- a/doc-src/System/basics.tex	Wed Nov 14 16:22:44 2007 +0100
+++ b/doc-src/System/basics.tex	Thu Nov 15 11:49:00 2007 +0100
@@ -106,8 +106,9 @@
   absolute path names of the \texttt{isabelle-process} and \texttt{isatool}
   executables, respectively.
   
-\item \settdx{ISABELLE_OUTPUT} will have the {\ML} system and Isabelle version
-  identifier (according to \texttt{ML_IDENTIFIER}) appended automatically to
+\item \settdx{ISABELLE_OUTPUT} will have the identifiers of the
+  Isabelle distribution (cf.\ \texttt{ISABELLE_IDENTIFIER}) and the
+  {\ML} system (cf.\ \texttt{ML_IDENTIFIER}) appended automatically to
   its value.
 \end{itemize}
 
@@ -141,6 +142,9 @@
   that the Isabelle \texttt{bin} directory is on the current search path of
   the shell.
   
+\item[\settdx{ISABELLE_IDENTIFIER}*] refers to the name of this
+  Isabelle distribution, e.g.\ ``\texttt{Isabelle2007}''.
+
 \item[\settdx{ML_SYSTEM}, \settdx{ML_HOME}, \settdx{ML_OPTIONS},
   \settdx{ML_PLATFORM}, \settdx{ML_IDENTIFIER}*] specify the underlying {\ML}
   system to be used for Isabelle.  There is only a fixed set of admissable




