[isabelle] Exception size raised



Hi there,

I'm using Isabelle2015 on OS X (El Captain),
and after a few minutes waiting for Isabelle to
load a function definition of mine, I got the following
message:
"exception Size raised (line 139 of "./basis/LibrarySupport.sml")"
Is there any way to identify what's going on? Or maybe
a way to allocate more resources to Isabelle?

Regards,


-- 
Artur Oliveira Gomes
PhD Student - SCSS - Trinity College Dublin
Professor - Sistemas de InformaÃÃo - UFMS



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