[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.

	Sincerely yours

-- 
Michel Levy  
D106 - L.S.R.     
B.P.72 - 38042 SAINT MARTIN D'HERES CEDEX - France
e.mail : Michel.Levy@imag.fr    tel :(33)476827246
http://www-lsr.imag.fr/Les.Personnes/Michel.Levy