Admin/jenkins/ci-extras/README
author paulson <lp15@cam.ac.uk>
Fri, 15 Oct 2021 12:42:51 +0100
changeset 74513 67d87d224e00
parent 63143 ef72b104fa32
permissions -rw-r--r--
A few new lemmas plus some refinements

This contains a Maven project which assembles all third-party dependencies for
the Jenkins build script and packages them up as an Isabelle component.

To produce the Isabelle component, run './package'. This will create a tarball
in the 'dist' folder.

The constituent packages, including sources and individual copyright notices,
can be found in the 'contrib' folder.


Lars Hupel, 24-May-2016