Return-Path: Delivery-Date: Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 15 Sep 1993 13:43:52 +0100 Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA06273; Wed, 15 Sep 93 05:38:16 -0700 Sender: info-hol-request@cs.uidaho.edu Errors-To: info-hol-request@cs.uidaho.edu Precedence: bulk Received: from tuminfo2.informatik.tu-muenchen.de by dworshak.cs.uidaho.edu with SMTP (1.37.109.4/16.2) id AA06265; Wed, 15 Sep 93 05:37:33 -0700 Received: by tuminfo2.informatik.tu-muenchen.de via suspension id <57701>; Wed, 15 Sep 1993 14:37:32 +0200 Received: from sunbroy14.informatik.tu-muenchen.de ([131.159.0.114]) by tuminfo2.informatik.tu-muenchen.de with SMTP id <57688>; Wed, 15 Sep 1993 14:26:15 +0200 Received: by sunbroy14.informatik.tu-muenchen.de id <8082>; Wed, 15 Sep 1993 14:25:50 +0200 From: Konrad Slind To: info-hol@cs.uidaho.edu Subject: postscript versions of HOL docs? Message-Id: <93Sep15.142550met_dst.8082@sunbroy14.informatik.tu-muenchen.de> Date: Wed, 15 Sep 1993 14:25:42 +0200 Someone interested in running hol90 on a Mac writes, in reference to the HOL manuals: > I was also wondering if there is any way I can print all those LaTeX > manuals to my PostScript printer. Is there any way to run LaTeX without > UNIX, such as a Macintosh version of UNIX? Are the HOL manuals available in Postscript format?