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.


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