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
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?
This archive was generated by a fusion of
Pipermail (Mailman edition) and