Isabelle build status

status date:
23-Oct-2019 10:39:11 +0200