[isabelle-dev] isabelle build is broken?

Lawrence Paulson lp15 at cam.ac.uk
Mon Jan 7 16:47:37 CET 2013


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



More information about the isabelle-dev mailing list