[isabelle-dev] AFP: "enable proof in session Lorenz_C1"^

Makarius makarius at sketis.net
Thu Feb 29 11:01:50 CET 2024

On 29/02/2024 10:38, Makarius wrote:
> An odd (unexplained) change has occurred on AFP:
> changeset:   14197:ddf90847bfa5
> user:        immler

I've sent this with CC to immler.emails.immler_email according to 
AFP/38e4f6bce76e metadata, but that address did not work.


More information about the isabelle-dev mailing list