Isabelle build status

status date:
31-Aug-2025 08:23:05 +0200