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

Re: PVS parser does not work

To: "Saeed Akhtar Awan" <saeed@atinet.org>
Subject: Re: PVS parser does not work
From: Sam Owre <owre@csl.sri.com>
Date: Mon, 20 Apr 1998 21:52:33 -0700
cc: pvs-help@csl.sri.com
In-reply-to: Your message of "Mon, 20 Apr 1998 21:12:35 PDT." <000201bd6cdb$b6ad24c0$17640881@wanhar.cati.csufresno.edu>

Hi Saeed Awan,

It doesn't sound like you're doing anything wrong.  Could you send me a
copy of your pvs file so I can see what is wrong?

Thanks,
Sam Owre

References:
- PVS parser does not work
  - From: "Saeed Akhtar Awan" <saeed@atinet.org>

Prev by Date: PVS parser does not work
Next by Date: Re: problem with pvs
Prev by thread: PVS parser does not work
Next by thread: Preserving proofs when TCC numbers change
Index(es):
- Date
- Thread