Isabelle build status

status date:
21-Jun-2018 19:43:06 +0200