Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Tue, 26 Apr 1994 20:50:18 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA02619; Tue, 26 Apr 1994 13:26:41 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from jaguar.cs.byu.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA02597; Tue, 26 Apr 1994 13:26:14 -0600 Received: from localhost by jaguar.cs.byu.edu (1.38.193.4/CS-Client) id AA17223; Tue, 26 Apr 1994 13:28:24 -0600 Message-Id: <9404261928.AA17223@jaguar.cs.byu.edu> To: info-hol@leopard.cs.byu.edu Cc: info-lal@cs.uidaho.edu, info-lal@leopard.cs.byu.edu Subject: HOL Hyperlinked Documentation Server is Now Available Date: Tue, 26 Apr 1994 13:28:23 -0600 From: Phil Windley Several people have asked me about getting a copy of the HOL documentation server to run at their own sites. The Laboratory for Applied Logic is pleased to announce that the hypertext HOL documentation server is now available for distribution. The server is actually just an extension to the already available NCSA HTTPD server. Complete instructions are available by following this link. The instructions can be found on the HOL Documentation page using Mosaic at: http://lal.cs.byu.edu/lal/hol-documentation.html Please note that not everyone needs to get their own copy of the server. LAL is perfectly happy to have people access our copy over the net. We would encourage you to *not* set up your own server unless you have very limited access to the network or a large number of HOL users at your site. The fewer places that running the server, the less the change that there will be inconsistancies. After all, the beauty of the net is that you don't *need* to have everything local. If you do start running a server, please let us know so that we can try to keep track of where this ends up. Special thanks to Steve Elderkin for cleaning up the code and putting the distribution together. Please send comments and bug reports to holdoc-dist@lal.cs.byu.edu. --phil--