Re: [isabelle] AFP submission site is unavailable?



Hi Lukas,

> I assume the maintainers are aware, I just wanted to point it out, in
> case you were not.

I was not â thanks for the report. I'll look into it.

Cheers
Lars




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.