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

Makarius makarius at sketis.net
Fri Mar 12 14:28:35 CET 2021

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?


More information about the isabelle-dev mailing list