# HG changeset patch
# User wenzelm
# Date 906727659 -7200
# Node ID 3613c5d22cc6ed50c2c78b0cf34b2624d028c69c
# Parent  ae1b56ef16b0c6a52d201ef79f3d6feef31438c3
added isatool logo;

diff -r ae1b56ef16b0 -r 3613c5d22cc6 doc-src/System/misc.tex
--- 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
diff -r ae1b56ef16b0 -r 3613c5d22cc6 doc-src/System/system.ind
--- 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