Re: [isabelle] problem with the last development snapshot

Temesghen Kahsai wrote:
Started at Thu Sep 20 17:44:31 BST 2007 (polyml-4.1.4_ppc-darwin on
Building Pure ...
Finished Pure (0:00:55 elapsed time, 0:00:34 cpu time)
Building HOL ...
Run out of store - interrupting console processes


Any advice?

Hi Temesghen,

you should try to upgrade to PolyML 5.0. Some older versions of PolyML have
problems handling applications that consume a large amount of heap space.
You also have to make sure that the default maximum heap size for PolyML
is set to the right value, but this should be taken care of by the default
Isabelle settings file automatically.


Dr. Stefan Berghofer               E-Mail: berghofe at
Institut fuer Informatik           Phone: +49 89 289 17328
Technische Universitaet Muenchen   Fax:   +49 89 289 17307
Boltzmannstr. 3                    Room: 01.11.059
85748 Garching, GERMANY  

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