Recent Patches

From SRI PVS
Jump to: navigation, search

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.
Personal tools