Isabelle build status

status date:
26-May-2019 17:14:44 +0200