README
author Norbert Schirmer <norbert.schirmer@web.de>
Thu, 16 May 2019 19:56:12 +0200
changeset 567 f7c97e64cc2a
parent 541 96d10631eec2
permissions -rw-r--r--
tuned ML-antiquotations; added intro portions.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
541
96d10631eec2 added readme and fixed output in Subgoal.FOCUS section
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
Building
96d10631eec2 added readme and fixed output in Subgoal.FOCUS section
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
========
96d10631eec2 added readme and fixed output in Subgoal.FOCUS section
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     3
96d10631eec2 added readme and fixed output in Subgoal.FOCUS section
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     4
isabelle build -c -v -d . Cookbook