Isabelle build status

status date:
17-Jan-2020 16:54:27 +0100