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

Re: [PVS-Help] Problem with installing PVS


> I need your help for the installation of PVS. I have unatar the
> files containing PVS and i am blocked in running /bin/relocate
> because i dont find this files.

Change to the directory to which you have untarred all the files,
then execute the command


Beware the initial dot!


	- Holger