Dear All, I see the following when compiling some theories:
Exporting theory "exp" ... Failure while writing theory! Fatal error: out of memory. I'm sure I've got enough memory. How can I tell hol/mosml to use more? Thanks Tom ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
