Change in emacs version

[Michel Levy <Michel.Levy@imag.fr>]

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

---

• Prev by Date: Re: ? about "complete"/"incomplete" proof status
• Next by Date: What's the context for TCC proofs?
• Prev by thread: Re: What's the context for TCC proofs?
• Next by thread: ? about "complete"/"incomplete" proof status
• Index(es):
  • Date
  • Thread