Isabelle build status

status date:
25-Feb-2018 18:23:23 +0100