Isabelle build status

status date:
05-Jun-2025 01:26:23 +0200