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