Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 5 | ||
etc/ | H | 25-Jul-2019 | 3 | |
package | H A D | 25-Jul-2019 | 378 | |
pom.xml | H A D | 25-Jul-2019 | 2.3 KiB | |
README | H A D | 25-Jul-2019 | 396 |
README
1This contains a Maven project which assembles all third-party dependencies for 2the Jenkins build script and packages them up as an Isabelle component. 3 4To produce the Isabelle component, run './package'. This will create a tarball 5in the 'dist' folder. 6 7The constituent packages, including sources and individual copyright notices, 8can be found in the 'contrib' folder. 9 10 11Lars Hupel, 24-May-2016 12