Isabelle build status

status date:
21-Jul-2019 17:06:14 +0200