[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Change in emacs version
We have changed today the emacs version (from 19.31 to 20.2.1) and we
have some trouble with PVS.
We have modified two things :
- the file eversion.el (to set the variable emacs-version)
- the file pvs in wich we have added
if ("$emacsversion" == "emacs20") then
setenv PVSXINIT "-name PVS@$HOST $PVSXINIT"
When I start pvs, I have the message
Lisp nesting exceeds max-lisp-eval-depth
What do we have still to modify to run pvs.
D106 - L.S.R.
B.P.72 - 38042 SAINT MARTIN D'HERES CEDEX - France
e.mail : Michel.Levy@imag.fr tel :(33)476827246