build_manager down due to maintenance

Makarius makarius at sketis.net
Mon Jun 16 11:24:14 CEST 2025

Previous message (by thread): NEWS: Isabelle/jEdit GUI scaling on Linux
Next message (by thread): build_manager down due to maintenance
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I have tried to update the build_manager behind https://build.proof.cit.tum.de 
and got something wrong.

It will be back very soon ...


	Makarius

Previous message (by thread): NEWS: Isabelle/jEdit GUI scaling on Linux
Next message (by thread): build_manager down due to maintenance
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list