doc-src/System/misc.tex

 \begin{ttbox}
 Usage: isatool findlogics
 
   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.
 
 
 \section{Inspecting the settings environment -- \texttt{isatool getenv}}
 \label{sec:tool-getenv}