Isabelle build status

status date:
09-Feb-2025 01:58:47 +0100