Re: [ProofPower] Best platform for ProofPower?

2012-09-13 Thread Phil Clayton
On 12/09/12 21:05, Roger Bishop Jones wrote: I'm having bad luck lately getting suitable environments for running ProofPower. My laptop is on Ubuntu 10.4, and that is fine for ProofPower, but is now so out of date that I can't upgrade it, I would have to install a more recent version of Ubuntu

Re: [ProofPower] Best platform for ProofPower?

2012-09-13 Thread Rob Arthan
Jon, On 13 Sep 2012, at 18:10, Jon Lockhart wrote: Roger, Yes I had noticed that the message that Phil replied too had not gone to the list yet. I hit the reply all button in my message chain and it selected several people that i had been replying to previously and the list. I received

Re: [ProofPower] Best platform for ProofPower?

2012-09-13 Thread Jon Lockhart
Ok will do for the future Rob. -Jon On Thu, Sep 13, 2012 at 3:59 PM, Rob Arthan r...@lemma-one.com wrote: Jon, On 13 Sep 2012, at 18:10, Jon Lockhart wrote: Roger, Yes I had noticed that the message that Phil replied too had not gone to the list yet. I hit the reply all button in my

Re: [ProofPower] Trying to Prove my Zed Specifications

2012-09-13 Thread Jon Lockhart
Phil, I tried performing the change you prescribed in my ProofPower spec and it fails to parse. I have included the attachment for your reference. Thanks, Jon On Thu, Sep 13, 2012 at 2:38 PM, Jon Lockhart jal...@bucknell.edu wrote: Phil, Attached is an updated version of my spec making the

Re: [ProofPower] Best platform for ProofPower?

2012-09-13 Thread Roger Bishop Jones
On Thursday 13 Sep 2012 19:37, Phil Clayton wrote: On 12/09/12 21:05, Roger Bishop Jones wrote: So far I'm not having much success on Ubuntu 12.04 (the PolyML build doesn't seem to work for me). What error message do you get? I ask because David Matthews is about to release 5.5 so it

Re: [ProofPower] Trying to Prove my Zed Specifications

2012-09-13 Thread Phil Clayton
On 13/09/12 21:32, Jon Lockhart wrote: I tried performing the change you prescribed in my ProofPower spec and it fails to parse. I have included the attachment for your reference. I think the attachment has a strange compression format or has been corrupted - gunzip reports unexpected end of

Re: [ProofPower] Trying to Prove my Zed Specifications

2012-09-13 Thread Jon Lockhart
Phil, I see now, I did not know that. You can lump them together in the Word document when I am using those tools but that is b/c when it is parsed each is separated into its own paragraph on the back end. I will be sure to correct that and see where I can get from there. Thanks for the help. As

Re: [ProofPower] Trying to Prove my Zed Specifications

2012-09-13 Thread Phil Clayton
On 13/09/12 23:48, Jon Lockhart wrote: I see now, I did not know that. You can lump them together in the Word document when I am using those tools but that is b/c when it is parsed each is separated into its own paragraph on the back end. I will be sure to correct that and see where I can get