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

[Makarius]

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?


	Makarius