Isabelle build status

status date:
10-Dec-2017 16:46:49 +0100