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, 26 May 1994 22:48:39 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA28781; Thu, 26 May 1994 15:41:35 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from ninet.research.att.com by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA28776; Thu, 26 May 1994 15:41:34 -0600 Received: by ninet.research.att.com; Thu May 26 17:34 EDT 1994 Received: by hunny.research.att.com (/\==/\ Smail3.1.25.1 #25.11) id ; Thu, 26 May 94 17:34 EDT Received: by tiree.research.att.com (/\==/\ Smail3.1.25.1 #25.1) id ; Thu, 26 May 94 17:34 EDT Message-Id: Date: Thu, 26 May 94 17:34 EDT From: elsa@research.att.com (Elsa Gunter) To: info-hol@leopard.cs.byu.edu Subject: help files for hol90 Dear HOL community, It was my understanding at the last HOL workshop that if I set up directories for people to check out and back in help files, that members of the community would volunteer themselves to do parts of the work to translate the help files from hol88 to hol90. Here to date the only volunteers for the job have been Steve Brackin, myself, and Konrad Slind. I would like to publicly thank Steve Brackin for his efforts, and indicate my disappointment with the rest of the community. For those of you who would be willing to help, but have lost my original message saying how, I will enclose it below. I do believe there are enough people in the community who would benefit enough from having the help files translated to be able to afford to translate 5 or so. The job will eventually get done, whether we get any more help or not, but it would get done a lot faster with some community spirit. ---Elsa 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.