HomeIsabelle/Phabricator

back to parallel compression: full AFP build does require 16GB Java heap…

Authored by makarius.