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

PVS Bug 788


Synopsis:        pvs-prover-guide.pdf
Severity:        serious
Priority:        medium
Responsible:     owre (Sam Owre)
State:           open
Class:           sw-bug
Arrival-Date:    Wed Jul  2 13:20:00 2003
Originator:      Venkatesh Phadnavis
Organization:    eecs.ku.edu
Release:         PVS 3.1
Environment: 
 System:          
 Architecture: 

Description: 
  
  pvs-prover-guide.pdf:
  
  Section 4.10.2 has the same description as 4.10.1, but should be different
  because they talk about different commands.
  
  Thanks,
  
  -V

How-To-Repeat: 

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