Isabelle build status

status date:
10-Dec-2018 18:48:58 +0100