diff -r b2f2770ef8d9 -r d1bbea22217b doc-src/System/misc.tex
--- 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.