Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <18602-0@swan.cl.cam.ac.uk>; Mon, 24 Feb 1992 23:24:30 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA12537; Mon, 24 Feb 92 15:08:26 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA12502; Mon, 24 Feb 92 15:08:21 -0800 Received: from auk.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP-6.0) to cl id <18503-0@swan.cl.cam.ac.uk>; Mon, 24 Feb 1992 23:10:50 +0000 To: info-hol@edu.uidaho.cs.ted Subject: HOL on low density tape Date: Mon, 24 Feb 92 23:10:45 +0000 From: John.Harrison@uk.ac.cam.cl Message-Id: <"swan.cl.ca.505:24.01.92.23.10.53"@cl.cam.ac.uk> Our department's only remaining low-density Sun 1/4" tape drive has passed on to the greater and fuller life beyond. This means that to provide HOL on low density tape involves our begging a favour from another department. While this is possible in extremis, it would probably be more convenient if people wanting HOL on low density 1/4" tapes obtained it from Idaho rather than Cambridge. High density from Cambridge is still OK; we can also make DEC `CompacTape's. John. =============================================================================== John Harrison (jrh@cl.cam.ac.uk) Hardware Verification Group University of Cambridge Computer Laboratory New Museums Site Pembroke Street Cambridge CB2 3QG England. Phone: +44 223 334760 Fax: +44 223 334678 ===============================================================================