[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PVS-Help] advice on allegro cl version
You are right that you can't compile a modified application
for your personal use, but you CAN compile all the source
files and dump a lisp image w/ them loaded.
Sure, I thought about that too. But it would first require
changes to the PVS sources. Or are there already any provisions
in the code to work with Allegro Lisp and to dump/load lisp