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

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

<rpgoldman@sift.info> writes:

   Unless I misunderstand, the less-expensive "professional" license would be sufficient.

But without runtime I cannot compile a modified version of PVS
for private purposes (excl:generate-application is called at the
end of the build). And without dynamic runtime the modified PVS
cannot load patches from .pvs.lisp. 

Or am I getting it wrong?