--- a/doc-src/System/basics.tex Sun Jun 13 15:28:30 2004 +0200
+++ b/doc-src/System/basics.tex Sun Jun 13 15:28:46 2004 +0200
@@ -189,6 +189,9 @@
\item[\settdx{DVI_VIEWER}] specifies the command to be used for displaying
\texttt{dvi} files.
+\item[\settdx{PRINT_COMMAND}] specifies the standard printer spool command,
+ which is expected to accept PS files.
+
\item[\settdx{ISABELLE_TMP_PREFIX}*] is the prefix from which any running
\texttt{isabelle} process derives an individual directory for temporary
files. The default is somewhere in \texttt{/tmp}.
--- a/etc/settings Sun Jun 13 15:28:30 2004 +0200
+++ b/etc/settings Sun Jun 13 15:28:46 2004 +0200
@@ -153,6 +153,9 @@
#DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
#DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
+#Printer spool command for PS files
+PRINT_COMMAND=lp
+
###
### Interfaces