Isabelle build status

status date:
20-Oct-2019 18:22:21 +0200