README
author Norbert Schirmer <norbert.schirmer@web.de>
Tue, 14 May 2019 17:10:47 +0200
changeset 565 cecd7a941885
parent 541 96d10631eec2
permissions -rw-r--r--
isabelle update_cartouches -t

Building
========

isabelle build -c -v -d . Cookbook