Recent Patches

From SRI PVS

Revision as of 20:53, 7 February 2007; Owre (Talk | contribs)
(diff) ←Older revision | Current revision | Newer revision→ (diff)
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.
Retrieved from "http://pvs-wiki.csl.sri.com/index.php/Recent_Patches"
Personal tools