Isabelle build status

status date:
16-Oct-2017 10:03:26 +0200