[isabelle-dev] multiple weirdnesses

Tobias Nipkow nipkow at in.tum.de
Sat Mar 16 08:51:24 CET 2013

Am 16/03/2013 01:29, schrieb Lawrence Paulson:
> At d5c95b55f849
>> ~/isabelle/Repos/src/HOL: isabelle components -a
>> ### Missing Isabelle component: "/Users/lp15/.isabelle/contrib/jedit_build-20130104"
>> Getting "http://isabelle.in.tum.de/components/jedit_build-20130104.tar.gz"
>> Unpacking "/Users/lp15/.isabelle/contrib/jedit_build-20130104.tar.gz"
> This brand-new file has a creation date of 14-June-2011 !
> "isabelle build" invariably returns "Error: Could not find or load main class isabelle.Build"
> Fortunately, "isabelle jedit" works

The need to run jedit in such situations has confused people in the past and I
am glad to see that you have been conditioned by now. It would still be
interesting to know why build couldn't do the right thing in the first place.


> and puts many things right, but the file creation date is still very strange.
> Larry
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list