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

PVS Bug 1073


Synopsis:        latex-proof does not print partial proofs
Severity:        serious
Priority:        medium
Responsible:     owre
State:           open
Class:           sw-bug
Arrival-Date:    Sat Jun 11 11:45:01 -0700 2011
Originator:      Andrea Domenici
Release:         PVS 5.0
Organization:    iet.unipi.it
Environment: 
 System:          
 Architecture: 

Description: 
  Hello!
  
  Command latex-proof does not print a partial proof (ended with (quit)), 
  more precisely, the LaTeX file contains only the root goal.
  
  I am using PVS Version 5.0 - Allegro CL Enterprise Edition 8.2 [Linux 
  (x86)] (Apr 14, 2011 1:43).
  
  Best regards,
  
  -- 
  Andrea Domenici
  
  Assistant Professor
  Dept. of Information Engineering (DIIEIT), University of Pisa
  Lgo. L. Lazzarino 1, I-56122 Pisa, Italy
  tel: +39 050 2217 674 fax: +39 050 2217600
                            "Omnia sunt communia" -- Th. M√ľntzer

How-To-Repeat: 

Fix: 

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