| changeset 63143 | ef72b104fa32 |
| 63142:4cf6726eb85e | 63143:ef72b104fa32 |
|---|---|
1 This contains a Maven project which assembles all third-party dependencies for |
|
2 the Jenkins build script and packages them up as an Isabelle component. |
|
3 |
|
4 To produce the Isabelle component, run './package'. This will create a tarball |
|
5 in the 'dist' folder. |
|
6 |
|
7 The constituent packages, including sources and individual copyright notices, |
|
8 can be found in the 'contrib' folder. |
|
9 |
|
10 |
|
11 Lars Hupel, 24-May-2016 |