On 10/16/2011 10:06 PM, Alexander Krauss wrote:
On 10/16/2011 02:53 PM, Florian Haftmann wrote:
On lxbroy10, something is utterly wrong:
http://isabelle.in.tum.de/testboard/Isabelle/report/89d77033f6eb4dc196c199893871ae6d
Is anyone taking care for this?
Just tried to fix with
On 10/16/2011 10:06 PM, Alexander Krauss wrote:
On 10/16/2011 02:53 PM, Florian Haftmann wrote:
On lxbroy10, something is utterly wrong:
http://isabelle.in.tum.de/testboard/Isabelle/report/89d77033f6eb4dc196c199893871ae6d
Is anyone taking care for this?
Just tried to fix with
My email about PolyML and memory usage has generated some discussion,
perhaps I
should give some more context.
The L4.verified project has been stuck at Isabelle-2009-2 for years. Our
proofs
seem to be compatible with newer Isabelle versions, but we're running out of
(virtual) memory. We've