Isabelle build status

status date:
20-Oct-2018 19:20:37 +0200