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

[PVS-Help] PVS 5.0 with xemacs




Hi all
I test the new version 5.0 on my Mac with xemacs no problem

Only one mismatch with xemacs packages.
 it needs to have cedet-common instal if you get the error 
launching xemacs

(file-error "Cannot open load file" "ezimage") ...

Update your package list seems to solve the problem

regards


Jean-Claude.Royer@mines-nantes.fr
ASCOLA, Mines de Nantes - INRIA
+ 33 2 51 85 82 05