HomeIsabelle/Phabricator

Various fixes to the recent changes needed for Linux.