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

Re: [PVS-Help] advice on allegro cl version

rpgoldman@sift.info writes:

   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