[isabelle-dev] Isabelle repository version, problems starting up

[Peter Lammich]

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
any more)

--
  Peter

> 
> 
> 	Makarius
>