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

[PVS-Help] theory not found error



Hi

I reinstall pvs 3.2 with the NASA libraries. When I try to prove one of
my theories (that I could prove before) emacs opens one empty file
ln_series.pvs in the PVS directory lib/analysis/

and appears the PVS Error message 

Can't find file for theory real_fun_preds

Thanks in advance,

Francisco

-- 
Francisco José Cháves (ENS-LIP) 
mailto: Francisco.Jose.Chaves.Alonso@ens-lyon.fr
http://perso.ens-lyon.fr/francisco.jose.chaves.alonso
ENS de Lyon - 46, allee d'Italie - 69364 Lyon Cedex 07 - FRANCE
Phone: (+33) 4 72 72 84 36