| author | Fabian Huch <huch@in.tum.de> |
| Tue, 10 Oct 2023 12:57:01 +0200 | |
| changeset 78746 | a748a244a028 |
| parent 63143 | ef72b104fa32 |
| permissions | -rw-r--r-- |
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