[isabelle] Exception size raised
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