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

Re: Question about typecheck-formula

To: Peter Mueller <Peter.Mueller@FernUni-Hagen.de>
Subject: Re: Question about typecheck-formula
From: Dave Stringer-Calvert <dave_sc@csl.sri.com>
Date: Mon, 08 Feb 1999 19:23:15 -0800
cc: pvs-help@csl.sri.com
In-reply-to: Your message of "Mon, 08 Feb 1999 18:00:20 +0100." <199902081700.SAA00712@sunpoet2.fernuni-hagen.de>


Peter -

typecheck-formula is probably making the assumption that it's being used
in an interactive emacs.  I'll look into this shortly.  Can you give me a
copy of your code and an example to test it with please?

Thanks,
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 David.Stringer-Calvert@sri.com

References:
- Question about typecheck-formula
  - From: Peter Mueller <Peter.Mueller@FernUni-Hagen.de>

Prev by Date: Question about typecheck-formula
Next by Date: PVS Grammar
Prev by thread: Question about typecheck-formula
Next by thread: PVS internals documentation
Index(es):
- Date
- Thread