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

PVS Bug 540


Synopsis:        (hide -) does not work
Severity:        serious
Priority:        medium
Responsible:     dave_sc (Dave Stringer-Calvert)
State:           analyzed
Class:           sw-bug
Arrival-Date:    Tue Mar 20 13:20:01 2001
Originator:      Hendrik Tews
Organization:    tcs.inf.tu-dresden.de
Release:         PVS 2.3
Environment: 
 System:          
 Architecture: 

Description: 
  Hi,
  
  suggestion #309 is marked with feedback, but still neither
  (hide -) nor (hide +) works.
  
  Bye,
  
  Hendrik
  

How-To-Repeat: 

Fix: 

 [davesc]
 Enhanced (hide) included in v2.3.1

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