[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Question about typecheck-formula
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?
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