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; Thu, 11 Aug 1994 00:37:52 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA06398; Wed, 10 Aug 1994 17:24:15 -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 AA06394; Wed, 10 Aug 1994 17:24:14 -0600 Received: from localhost by jaguar.cs.byu.edu (1.38.193.4/CS-Client) id AA19788; Wed, 10 Aug 1994 17:22:52 -0600 Message-Id: <9408102322.AA19788@jaguar.cs.byu.edu> To: info-hol@leopard.cs.byu.edu Subject: New services on the HOL Web Date: Wed, 10 Aug 1994 17:22:52 -0600 From: Phil Windley The HOL Web has been updated in two ways: 1.) We have added, at Mike Gordon's suggestion, a place where members of the HOL community can stop by and leave a pointer to their WEB site. Right now, it puts them in in chronological order, so if it gets big, you'll have to search using the search capabilites of your favorite Web Browser. The URL for this service is http://lal.cs.byu.edu/lal/hol/url-list/free4all.html The page can also be found from the HOL documentation page. The intent is that you will leave your email address and a URL for a place where people can find out more about you, get electronic copies of your papers, etc. 2.) The HOL Description has been translated from LaTeX to HTML. The old DVI files are still available, but now when you select the Description book from the book shelve, you'll get a hyperlinked version. This is slightly easier to read than the DVI version and, more importantly, individual sections can be linked and referenced by URL. The URL for the new version of the manual is http://lal.cs.byu.edu/lal/holdoc/Description/Description.html A word of warning: because of all the mathematical formulas, there are *lots* of inlined images. You may find loading some pages over a slow link tedious, particularly part 2. I have tared up the whole thing and made it available for FTP, see the previous URL for more information. The uncompressed manual is about 10Mbytes total. As always, let me know if there are any problems or if you have comments. --phil-- __________________________________________________________________________ Phillip J. Windley, Asst. Professor | windley@cs.byu.edu Laboratory for Applied Logic | Dept. of Computer Science, TMCB 3370 | Brigham Young University | Phone: 801.378.3722 Provo UT 84602-6576 | Fax: 801.378.7775 ------------------------------------------------------------------------ If you use WWW, I'm here.