Isabelle build status

status date:
14-Aug-2018 11:24:32 +0200