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. Larry _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
