--- a/doc-src/System/misc.tex Fri Sep 25 14:32:36 1998 +0200
+++ b/doc-src/System/misc.tex Fri Sep 25 14:47:39 1998 +0200
@@ -114,7 +114,6 @@
\section{Installing standalone Isabelle binaries -- \texttt{isatool install}}
-\label{sec:tool-install}
Usually, the Isabelle binaries (\texttt{isabelle}, \texttt{isatool}
etc.) are just run from their location within the distribution
@@ -147,6 +146,25 @@
\end{ttbox}
+\section{Creating instances of the Isabelle logo -- \texttt{isatool
+ logo}}
+
+The \tooldx{logo} utility creates any instance of the generic Isabelle logo as
+an Encapsuled Postscript file (EPS):
+\begin{ttbox}
+Usage: logo [OPTIONS] NAME
+
+ Create instance NAME of the Isabelle logo (as EPS).
+
+ Options are:
+ -o OUTFILE set output file (default determined from NAME)
+ -q quiet mode
+\end{ttbox}
+You are encouraged to use this to create a derived logo for your Isabelle
+project. For example, \texttt{isatool logo HOOL} creates
+\texttt{isabelle_hool.eps}.
+
+
\section{Isabelle's version of make --- \texttt{isatool make}}
The Isabelle \tooldx{make} utility is a very simple wrapper for
--- a/doc-src/System/system.ind Fri Sep 25 14:32:36 1998 +0200
+++ b/doc-src/System/system.ind Fri Sep 25 14:47:39 1998 +0200
@@ -50,8 +50,12 @@
\indexspace
+ \item {\tt logo} tool, 11
+
+ \indexspace
+
\item {\tt make} tool, 11
- \item {\tt makeall} tool, 11
+ \item {\tt makeall} tool, 12
\item {\tt ML_HOME} setting, 3
\item {\tt ML_OPTIONS} setting, 3
\item {\tt ML_SYSTEM} setting, 3