[isabelle-dev] isabelle build is broken?

Ondřej Kunčar kuncar at in.tum.de
Mon Jan 7 16:51:41 CET 2013


On 01/07/2013 04:47 PM, Lawrence Paulson wrote:
> 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
>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>

I had the same problem like you and solved it by this command:
isabelle jedit -bf

Ondrej


More information about the isabelle-dev mailing list