Opened 17 years ago
Last modified 11 years ago
#132 new task
Packaging for 1.0.6/3.3 releases — at Version 1
Reported by: | David Aspinall | Owned by: | Graham Dutton |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description (last modified by )
We need to test and refine 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 General 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.
Change History (1)
comment:1 Changed 17 years ago by
Description: | modified (diff) |
---|---|
Owner: | changed from David Aspinall to Graham Dutton |
Priority: | major → minor |
Note: See
TracTickets for help on using
tickets.