Changes between Initial Version and Version 2 of Ticket #64


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

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #64

    • Property Owner changed from David Aspinall to alexh
    • Property Milestone changed from PG-Eclipse-1.0.6 to PG-Eclipse-1.0.7
    • Property Summary changed from Decide what to do with !ProverStandalone to Decide what to do with ProverStandalone

  • Ticket #64 – Description

    initial v2  
    1 Should this code be retained or discarded?  Not clear how it fits into future development plans, and already changes elsewhere in code have likely broken it. 
     1Should this code be retained or discarded?  Not clear how it fits into future development plans, and already changes elsewhere in code have likely broken it.   One possibility may be to move it to another plugin.
     2
     3In the longer term, we've talked about adding an API to the Broker to manage running provers, so the code here would form a basis for that.