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

Re: [PVS] IMPORTINGs in theory parameter list



1. helmi 2005 kello 21:10, Cesar A. Munoz kirjoitti:
>  PVS_LIBRARY_PATH = <lib>:

Thanks Cesar, this solves the immediate problem.
-- 
Pertti