
This is the new directory structure for the Emacs end of PVS.

emacs/:		All .el files for the PVS interface
emacs/ilisp:	The PVS ILISP Code (based on ilisp-5.8)

