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

[Makarius]

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.


	Makarius