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

Re: pvs error




> Hi,
> 	Yes it is PVS 2.1 patch level 2.417.
> Emacs version is GNU Emacs 20.2.1 
> Thanks
> Magesh


I think this is another Emacs 20 problem - I'll try to recreate
it here and get back to you soon.

Dave

---
Dr Dave Stringer-Calvert, Software Engineer, Computer Science Laboratory,
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA.
Phone: (650) 859-3291    Fax: (650) 859-2844   Email: dave_sc@csl.sri.com