--- a/doc-src/System/misc.tex Mon Apr 12 16:20:04 1999 +0200
+++ b/doc-src/System/misc.tex Tue Apr 13 10:34:30 1999 +0200
@@ -56,9 +56,9 @@
Collect heap file names from ISABELLE_PATH.
\end{ttbox}
-The base names of all files found on the path are printed --- sorted
-and with duplicates removed. Also note that \texttt{ISABELLE_PATH}
-implicitly depends upon \texttt{ML_SYSTEM}. Thus switching to another
+The base names of all files found on the path are printed --- sorted and with
+duplicates removed. Also note that \texttt{ISABELLE_PATH} implicitly depends
+upon \texttt{ML_SYSTEM} and \texttt{ML_PLATFORM}. Thus switching to another
{\ML} compiler may change the set of logic images available.