Isabelle build status

status date:
16-Sep-2019 01:39:51 +0200