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