Re: [isabelle-dev] JinjaThreads

2010-12-18 Thread Gerwin Klein
On 19/12/2010, at 8:16 AM, Alexander Krauss wrote: > Clemens Ballarin wrote: >> JinjaThreads doesn't seem to run out of the box (on macbroy2, with Poly/ML >> 5.3.0). It seems to run out of memory. >> I use ML_OPTIONS="-H 500", but I would assume the AFP sets this >> appropriately. >> Probably t

Re: [isabelle-dev] JinjaThreads

2010-12-18 Thread Alexander Krauss
Clemens Ballarin wrote: JinjaThreads doesn't seem to run out of the box (on macbroy2, with Poly/ML 5.3.0). It seems to run out of memory. I use ML_OPTIONS="-H 500", but I would assume the AFP sets this appropriately. Probably this is a known issue, but I don't know where to check for the a

[isabelle-dev] JinjaThreads

2010-12-18 Thread Clemens Ballarin
JinjaThreads doesn't seem to run out of the box (on macbroy2, with Poly/ML 5.3.0). It seems to run out of memory. I use ML_OPTIONS="-H 500", but I would assume the AFP sets this appropriately. Probably this is a known issue, but I don't know where to check for the automatic AFP logs. Clem