[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
"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?


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.