On Fri, 2021-03-12 at 14:28 +0100, Makarius wrote: > On 12/03/2021 13:34, Peter Lammich wrote: > > On Fri, 2021-03-12 at 13:24 +0100, Manuel Eberl wrote: > > > Have you done the usual "isabelle components -a"? > > > > I would like to, but it has no effect. Produces no output, and > > returns > > with exit-code 0. > > > > peter@peterXps:~/devel/Isabelle-devel$ ./bin/isabelle components -a > > What does "isabelle components -l" say?
It listed a few components as available, and none as missing. Java was in neither list! (As I have fixed the problem now, I cannot reproduce the exact output any more) -- Peter > > > Makarius > _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
