[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


I am having difficulties in viewing the proofs grahically using
M-x x-show-proof command. A window pops up but nothing is being
displayed there. We have PVS 2.1, Tcl 7.4 and Tk 4.0 installed 
on our machine. Any help on this matter will be appreciated.

Thank you.


Purnendu Sinha                      e-mail: sinha@homer.njit.edu   
Dependable Real-time Systems Lab    URL:
Computer and Information Science    http://www.rtl.njit.edu/  
New Jersey Institute of Technology
University Heights                  Phone: (201) 596-2861 
Newark, NJ 07102 USA                Fax:   (201) 596-5777