Isabelle build status

status date:
23-Jan-2018 11:50:30 +0100