Does anyone recognise: ! Uncaught exception: ! Chr
as a symptom of some kind of running out of space? It arises when rebuilding examples/acl2/ml in newer versions of hol (warning: this takes a long time before crashing). Mike ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
