Return-Path: Delivery-Date: Received: from lal.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 14 Sep 1994 01:17:42 +0100 Received: by lal.cs.byu.edu (1.38.193.4/16.2) id AA18850; Tue, 13 Sep 1994 18:08:40 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from arthur.inria.fr by lal.cs.byu.edu with SMTP (1.38.193.4/16.2) id AA18845; Tue, 13 Sep 1994 18:08:33 -0600 Received: by arthur.inria.fr (5.65c8/IDA-1.2.8) id AA19650; Wed, 14 Sep 1994 02:06:01 +0200 Date: Wed, 14 Sep 1994 02:06:01 +0200 From: Laurent Thery Message-Id: <199409140006.AA19650@arthur.inria.fr> To: info-hol@lal.cs.byu.edu Subject: Re: CHOL on US site? >> Does anyone have the CHOL stuff on a machine I could possibly ftp it rom, >> on this side of the atlantic? Our network connection here (56k) is too >> slow, and ftp and Mosaic time out and don't connect. Thanks to Phil Windley and the Laboratory for Applied Logic, there is now a US site for the CHOL interface. So the interface is ftpable: In Europe: babar.inria.fr: /pub/centaur/chol In North America: lal.cs.byu.edu: /pub/hol/chol The mosaic server is still: http://zenon.inria.fr:8003/croap/chol/chol.html --Laurent