# HG changeset patch
# User wenzelm
# Date 1087133310 -7200
# Node ID df56e644da8f54213ce4dc44c7c7fa81e5459a6f
# Parent  7d3c1cca5341c7fc8531656cad17c5a30802a632
added isatool display and isatool print;

diff -r 7d3c1cca5341 -r df56e644da8f doc-src/System/misc.tex
--- a/doc-src/System/misc.tex	Sun Jun 13 15:28:19 2004 +0200
+++ b/doc-src/System/misc.tex	Sun Jun 13 15:28:30 2004 +0200
@@ -28,6 +28,23 @@
 99\% for common ML scripts.
 
 
+\section{Displaying documents --- \texttt{isatool display}}
+
+The \tooldx{display} utility displays documents in DVI format:
+\begin{ttbox}
+Usage: display [OPTIONS] FILE
+
+  Options are:
+    -c           cleanup -- remove FILE after use
+
+  Display document FILE (in DVI format).
+\end{ttbox}
+
+The \texttt{-c} option causes the input file to be removed after use.  The
+program for viewing \texttt{dvi} files is determined by the
+\texttt{DVI_VIEWER} setting.
+
+
 \section{Viewing documentation --- \texttt{isatool doc}} \label{sec:tool-doc}
 
 The \tooldx{doc} utility displays online documentation:
@@ -232,6 +249,22 @@
 \texttt{make} invocation.
 
 
+\section{Printing documents --- \texttt{isatool print}}
+
+The \tooldx{print} utility prints documents:
+\begin{ttbox}
+Usage: print [OPTIONS] FILE
+
+  Options are:
+    -c           cleanup -- remove FILE after use
+
+  Print document FILE.
+\end{ttbox}
+
+The \texttt{-c} option causes the input file to be removed after use.  The
+printer spool command is determined by the \texttt{PRINT_COMMAND} setting.
+
+
 \section{Remove awkward symbol names from theory sources --- \texttt{isatool unsymbolize}}
 
 The \tooldx{unsymbolize} utility tunes Isabelle theory sources to improve