[isabelle-dev] multiple weirdnesses
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.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev