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

Re: Tcl/Tk

Hi Purnendu,

Try running 'wish -name pvs' at a unix prompt.  It sould pop up a window
with a "pvs" title.  If it doesn't, then there is something wrong with
your Tcl/Tk installation.  In at least one case that I know of, the
systems administrators had provided a front end for wish that did not
pass arguments to the "real" wish command, and the effect was similar to
what you describe.  If this is the case, you can work around it by adding
the following line to your ~/.pvsemacs file (creating it if necessary):

(setq pvs-wish-cmd "<real-wish-pathname>")

If this isn't the problem, let me know and I'll try to provide more help.

Sam Owre

> 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