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; Mon, 10 Oct 1994 21:00:17 +0100 Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA29596; Mon, 10 Oct 1994 13:57:48 -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.38.193.4/16.2) id AA29592; Mon, 10 Oct 1994 13:57:48 -0600 Received: from localhost by jaguar.cs.byu.edu (1.38.193.4/CS-Client) id AA02414; Mon, 10 Oct 1994 13:52:54 -0600 Message-Id: <9410101952.AA02414@jaguar.cs.byu.edu> To: info-hol@leopard.cs.byu.edu Subject: Forwarded message on HOL90 documentation and tutorials Date: Mon, 10 Oct 1994 13:52:54 -0600 From: Phil Windley We talked about this some at the HOL94 meeting and it now rears its ugly head. Is there any documentation that can help someone *not familiar with HOL at all* to get started in HOL90? ------- Forwarded Message From: "Kathi Fisler" Subject: Getting started with HOL Date: Mon, 10 Oct 1994 10:20:35 -0500 (EST) I'm trying to teach myself how to use HOL, but I'm having a very hard time getting started. I've been through most of the Mosaic pages you announced at TPCD (they are really nicely done, by the way), but they all seem to relate to HOL88 --- we only have HOL90 installed here. Are there any tutorials or documents for getting started with HOL90? (At this point, I need very basic getting started sorts of things. I haven't even been able to figure out how to quit the system without manually killing the process.) I tried using the commands from the tutorial on Mosaic, but no matter what I type, I just keep getting new prompts (and nothing else), so I'm assuming that the HOL88 tutorial just isn't compatible with HOL90. I'd appreciate any pointers or suggestions you might have. Thanks, Kathi - -- Kathi Fisler kfisler@cs.indiana.edu Visual Inference and Hardware Methods Laboratories, Indiana University ------- End of Forwarded Message