Changes between Initial Version and Version 1 of Ticket #132


Ignore:
Timestamp:
Jul 19, 2007, 10:17:23 AM (17 years ago)
Author:
David Aspinall
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #132

    • Property Owner changed from David Aspinall to Graham Dutton
    • Property Priority changed from major to minor

  • Ticket #132 – Description

    initial v1  
    1 We need to test and refine (perhaps script) the product build process for 1.0.6 and later.
     1We need to test and refine the product build process for 1.0.6 and later.
    22
    33We have two packages: a minimal and a maximal.  More plugins can be added to either, but
    4 the maximal will already contain all the Proof Generla plugins.
     4the maximal will already contain all the Proof General plugins.
    55
    66We may also experiment with plugins containing prover binaries (although these may not be available for