Isabelle build status

status date:
19-Mar-2019 08:40:38 +0100