What is HOL?

Article View: comp.lang.misc

Article #1667

#1667

From: News Administrator
Date: Mon, 08 Oct 1990 22:25

9 lines
835 bytes

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

Technical Details

Message-ID: <1990Oct08.222547.5167@heitis1.uucp>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!decwrl!uunet!amgraf!heitis1!news

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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