Final Isabelle2025 planned for tomorrow

Makarius makarius at sketis.net
Wed Mar 12 14:51:32 CET 2025


On 12/03/2025 14:46, Makarius wrote:
> 
> If there are any observations that prevent this, please tell me today.

"this" means "build it tomorrow in the morning" and "publish it in the 
afternoon / evening" (Bavarian time).


	Makarius



More information about the isabelle-dev mailing list