Isabelle build status

status date:
29-Jun-2017 09:20:34 +0200