[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: pvs error
- To: Magesh Narayanan <mnarayan@ececs.uc.edu>
- Subject: Re: pvs error
- From: Dave Stringer-Calvert <dave_sc@csl.sri.com>
- Date: Thu, 25 Jun 1998 11:12:03 -0700
- Cc: pvs-help@csl.sri.com
- In-reply-to: Your message of "Thu, 25 Jun 1998 13:38:01 EDT." <Pine.LNX.3.96.980625133302.8370G-100000@viking.ececs.uc.edu>
> 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