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

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



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