Isabelle build status

status date:
21-Aug-2017 09:44:38 +0200