Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools

PVS Bug 627


Synopsis:        release notes
Severity:        serious
Priority:        medium
Responsible:     owre
State:           analyzed
Class:           sw-bug
Arrival-Date:    Tue Nov 27 11:34:13 2001
Originator:      John Rushby
Organization:    csl.sri.com
Release:         PVS 2.4
Environment: 
 System:          
 Architecture: 

Description: 
  The release notes should be an option on the PVS help menu
  
  Also the M-x pvs command should be mentioned int he help somewhere.
  
  John
  

How-To-Repeat: 

Fix: 
The pvs command is already part of pvs-help.  Added the pvs-release-notes
command.
Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools