Isabelle build status

status date:
22-Jan-2019 19:03:17 +0100