[isabelle-dev] Isabelle repository version, problems starting up
lammich at in.tum.de
Fri Mar 12 14:57:55 CET 2021
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 at 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
More information about the isabelle-dev