Opened 17 years ago
Last modified 11 years ago
#132 new task
Packaging for 1.0.6/3.3 releases — at Initial Version
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description
We need to test and refine (perhaps script) the product build process for 1.0.6 and later.
We have two packages: a minimal and a maximal. More plugins can be added to either, but the maximal will already contain all the Proof Generla plugins.
We may also experiment with plugins containing prover binaries (although these may not be available for the snapshot of Isabelle, for example).
See update site project for details.
Note: See
TracTickets for help on using
tickets.
