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 s
Ok will do for the future Rob.
-Jon
On Thu, Sep 13, 2012 at 3:59 PM, Rob Arthan 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 message
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
> rec
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 f
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 an email in return saying it had to be reviewed by the
moderat
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 from
scratch.
So I revived an old server to
