Isabelle build status

status date:
14-Jul-2025 11:21:18 +0200