HomeIsabelle/Phabricator

back to pide_session=false for now, requires too many JVM resources (reverting…

Authored by makarius.

Description

back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39);

Details

Committed
makariusJun 19 2020, 6:29 PM
Parents
rISABELLEaf779738a8f9: clarified signature;
Branches
Unknown
Tags
Unknown