[isabelle-dev] multiple weirdnesses
lp15 at cam.ac.uk
Sat Mar 16 01:29:11 CET 2013
> ~/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 and puts many things right, but the file creation date is still very strange.
More information about the isabelle-dev