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

PVS Bug 413


Synopsis:        Where is tarmail?
Severity:        serious
Priority:        medium
Responsible:     owre
State:           analyzed
Class:           sw-bug
Arrival-Date:    Wed Jan  5 10:40:01 2000
Originator:      Marcelo Glusman
Organization:    cs.technion.ac.il
Release:         PVS 2.3
Environment: 
 System:          
 Architecture: 

Description: 

Why is tarmail not present in the 2.3 distribution?
  The "mail pvs files" feature doesn't work because of it.
  

How-To-Repeat: 

Fix: 

 [davesc]
 Put tarmail/untarmail in the repository.  Added them to the
 generation of pvs-system tar file.

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