From SRI PVS
This lists patches for some problems that have been reported in PVS 4.0
- ~/.pvs.lisp not loaded in CMU lisp
- CMU Lisp does not recognize the tilde '~' sign. To get the right behavior, add
- (pvs-send-and-wait "#+cmu (load (make-pathname :defaults (user-homedir-pathname)
- :name \".pvs\" :type \"lisp\")) #-cmu nil")
- to your ~/.pvsemacs file.