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, 18 Nov 1993 22:40:50 +0000 Received: by leopard.cs.byu.edu (1.37.109.7/16.2) id AA11516; Thu, 18 Nov 93 15:25:04 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: bulk Received: from research.att.com by leopard.cs.byu.edu with SMTP (1.37.109.7/16.2) id AA11478; Thu, 18 Nov 93 15:24:58 -0700 Received: by inet; Thu Nov 18 17:22 EST 1993 Received: by hunny.research.att.com (/\==/\ Smail3.1.25.1 #25.11) id ; Thu, 18 Nov 93 17:23 EST Received: from tiree.att.com by nfs.research.att.com with smtp (Smail3.1.28.1 #12) id m0p0Hle-0000n0C; Thu, 18 Nov 93 17:23 EST Message-Id: Date: Thu, 18 Nov 93 17:23 EST From: elsa@research.att.com (Elsa Gunter) Received: by tiree.att.com (4.1/SMI-4.1) id AA01475; Thu, 18 Nov 93 17:21:21 EST To: info-hol@leopard.cs.byu.edu Subject: hol90 help files This is an invitation for the HOL comunity to assist in translation the help files for hol88 to hol90. At the HUG93 workshop I promised to set up ftp directories to facilitate coordinating community effort to get this job done. Rather later than I probably promised, I have set up such directories. For those who are community spirited and are willing to do some translating, you should do the following: ftp research.att.com Name (research.att.com:rlogin): anonymous Password: <> cd dist/ml/hol90/help/88/ENTRIES mget <> When you have taken a file, please send me mail and I will move the doc files into dist/ml/hol90/help/88/OUT. When you have finished with the files and want to put them back in, please ftp them to dist/ml/hol90/help/IN and send me mail so that I can remove the old from dist/ml/hol90/help/88/OUT. If anybody wants to explain a more automatic way of checking the files in and out, I'm game to try but this is the only thing I could make work. ---Elsa L. Gunter elsa@research.att.com