HomeIsabelle/Phabricator

enable pide_session by default (again), with extra JVM heap for AFP tests (see…