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

Tcl/Tk

To: pvs-help@csl.sri.com
Subject: Tcl/Tk
From: Purnendu Sinha <sinha@homer.njit.edu>
Date: Thu, 19 Jun 1997 11:13:00 -0400
Organization: New Jersey Institute of Technology
Sender: sinha@homer.njit.edu

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.

Sincerely,

-- 
Purnendu Sinha                      e-mail: sinha@homer.njit.edu   
Dependable Real-time Systems Lab    URL:
http://megahertz.njit.edu/~pxs3413
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

Prev by Date: Re: bug?
Next by Date: Mathematical and PVS syntactic equivalence?
Prev by thread: Re: Mathematical and PVS syntactic equivalence?
Next by thread: Re: Tcl/Tk
Index(es):
- Date
- Thread