It seems to me that something is fundamentally broken. Every attempt to build anything results in the following message. ~/isabelle/Repos/src/HOL: isabelle build Error: Could not find or load main class isabelle.Build 37091451ba1a tip Larry