[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PVS-Help] Installation problem: cmulisp-local-source-directorynotset

To: pvs-help@xxxxxxxxxxx
Subject: Re: [PVS-Help] Installation problem: cmulisp-local-source-directorynotset
From: schoppekloppe <schoppekloppe@xxxxxxxx>
Date: Mon, 20 Apr 2009 15:56:00 +0200
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.de;h=Received:X-YMail-OSG:X-Yahoo-Newman-Property:Message-ID:Date:From:User-Agent:MIME-Version:To:Subject:References:In-Reply-To:Content-Type:Content-Transfer-Encoding;b=ErgYkBJFbEMWn9uOS6tfkaC72ybxsfMW1cNn2/2tQ7Du4N8NRia4vP8sDcnDF5ToAnRv1At1WnbFaBRXTTxuWQpPpv9qNWpmC7eSKgUEaGw9BnKXmFInPuGncEzuDK6kdvJMynLCMFLy+86LhJJ5gsspCTK4S/eJube/FYRo/J8=;
In-Reply-To: <YZYCKLHHVCLFCQEAHTAHJAJHSYKM.fsong@sei.ecnu.edu.cn>
List-Help: <mailto:pvs-help-request@csl.sri.com?subject=help>
List-Id: PVS-Help <pvs-help.csl.sri.com>
List-Post: <mailto:pvs-help@csl.sri.com>
List-Subscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>,<mailto:pvs-help-request@csl.sri.com?subject=subscribe>
List-Unsubscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>,<mailto:pvs-help-request@csl.sri.com?subject=unsubscribe>
References: <YZYCKLHHVCLFCQEAHTAHJAJHSYKM.fsong@sei.ecnu.edu.cn>
Sender: pvs-help-bounces+archive=csl.sri.com@xxxxxxxxxxx
User-Agent: Thunderbird 2.0.0.21 (X11/20090318)

fsong schrieb:

> I met this problem too, may be you can install this version "PVS 4
> Allegro Lisp Binaries (free, but requires a license agreement)".

The PVS Allegro binaries seem to work fine.
-- 
Christian Henkel

References:
- Re:[PVS-Help] Installation problem: cmulisp-local-source-directorynotset
  - From: fsong

Prev by Date: [PVS-HELP] Choose Function
Next by Date: Re: [PVS-HELP] Choose Function
Prev by thread: Re:[PVS-Help] Installation problem: cmulisp-local-source-directorynotset
Next by thread: [PVS-Help] Installation problem: cmulisp-local-source-directory notset
Index(es):
- Date
- Thread