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

[Tobias Nipkow]

I have forwarded your email to a working email address.

Tobias

On 29/02/2024 11:01, Makarius wrote:
> 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
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4950 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20240229/f94f5c54/attachment.bin>