3 lines (2 loc) · 202 Bytes

Release generator for Isabelle project

It is supposed to be run from Jenkins, but you can also invoke it from a live system. Documentation is coming soon, right now you can consult with Jenkinsfile.