Isabelle build status

status date:
24-Apr-2018 19:08:31 +0200