INSTALLATION GUIDE FOR m-EVES. RELEASE 2

Authors
  1. Pase, B.
  2. Kromodimoeljo, S.
Corporate Authors
Sharp (I P) Associates Ltd, Ottawa ONT (CAN);Chief of Research and Development, Ottawa ONT (CAN)
Abstract
The document describes the installation procedure for Release 2 of the m-EVES verification system. The system which is included on the accompanying distribution tape, dated March 1989, is intended to run on version 7.1 of the Lisp environment for the Symbolics 3600 series Lisp machines.
Report Number
TR-89-5437-03 — EVES Project Technical Report
Date of publication
15 Mar 1989
Number of Pages
7
DSTKIM No
90-01127
CANDIS No
63398
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: