[isabelle-dev] multiple weirdnesses

Lawrence Paulson lp15 at cam.ac.uk
Sat Mar 16 01:29:11 CET 2013

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 and puts many things right, but the file creation date is still very strange.


More information about the isabelle-dev mailing list