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?
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
