Isabelle build status

status date:
24-Jun-2018 19:33:00 +0200