HomeIsabelle/Phabricator

more Java heap space (see 2d658beb815b);

Authored by makarius.