Isabelle build status

status date:
16-Jul-2025 01:19:43 +0200