Re: [isabelle] Isabelle2013-2-RC1 available for testing



The runaway process is poly.

The win/linux test machine is a Intel Core i5-3570 with 8GB of ram running Windows 8.1 resp. Xubuntu 13.10

The OS X test machine is a 2011 MacBook Pro with 8GB of ram running OS X 10.9

Best
    Benedikt

Am 25.11.13 11:31, schrieb Makarius:
On Mon, 25 Nov 2013, bnord wrote:

By the way, I could reproduce this under Linux on the same machine (a little less frequent) and could reproduce it under OS X on a different machine only when letting the non-terminating command run for a while. This also left me with a runaway process under OS X which I had to terminate manually after exiting Isabelle/Jedit.

Which runaway process, poly or java?

Can you also give a rough hardware specification of the test machines?


    Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.