Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!decwrl!uunet!amgraf!heitis1!news From: news@heitis1.uucp (News Administrator) Newsgroups: comp.lang.misc Subject: What is HOL? Keywords: HOL Message-ID: <1990Oct08.222547.5167@heitis1.uucp> Date: 8 Oct 90 22:25:47 GMT Organization: Harmon Electronics, Inc Lines: 9 We recently received information regarding HOL. It tells us what machine to get it from, but not much about it. Actually, much may have been told to someone else, but finally someone said "Look at this wierd address, and what is FTP??? Let's ask Brian" ;-). What I am interested in, is a "short" synopsis of what it does, and possibly a little about how it is programmed. Basically, I am fishing for information. Any help I could get would be greatly appreciated. brian