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

Re: help

Arun ---

load-file is an Emacs function to load an interactive compiled
lisp function.  The correct method of loading a PVS file is to
use M-x find-file (or M-x ff for short).


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