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

Re: [PVS-Help] PVS batch mode

To: "Sara Kenedy" <sarakenedy@xxxxxxxxx>
Subject: Re: [PVS-Help] PVS batch mode
From: Sam Owre <owre@xxxxxxxxxxx>
Date: Fri, 08 Sep 2006 11:35:49 -0700
Cc: "Cesar A. Munoz" <munoz@xxxxxxxxxx>, pvs-help@xxxxxxxxxxx
Comments: In-reply-to "Sara Kenedy" <sarakenedy@gmail.com>message dated "Fri, 08 Sep 2006 14:33:08 -0400."
In-reply-to: <11d0c6540609081133k598f70ebi5db7577707f24d48@mail.gmail.com>
List-Help: <mailto:pvs-help-request@csl.sri.com?subject=help>
List-Id: PVS-Help <pvs-help.csl.sri.com>
List-Post: <mailto:pvs-help@csl.sri.com>
List-Subscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>,<mailto:pvs-help-request@csl.sri.com?subject=subscribe>
List-Unsubscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>,<mailto:pvs-help-request@csl.sri.com?subject=unsubscribe>
References: <11d0c6540609071822ia87b847vfed66c92611ccb28@mail.gmail.com><1157733043.25430.2.camel@squirt.nianet.org><11d0c6540609081133k598f70ebi5db7577707f24d48@mail.gmail.com>
Sender: pvs-help-bounces+archive=csl.sri.com@xxxxxxxxxxx

Hi Sara,

I see the problem - the

(pvs-message "Completed)

is missing the closing string quote - it should be:

(pvs-message "Completed")

Sam

Prev by Date: Re: [PVS-Help] PVS batch mode
Next by Date: Re: [PVS-Help] PVS batch mode
Prev by thread: Re: [PVS-Help] PVS batch mode
Next by thread: Re: [PVS-Help] PVS batch mode
Index(es):
- Date
- Thread