Opened 17 years ago
Last modified 11 years ago
#64 new task
Decide what to do with !ProverStandalone — at Initial Version
| Reported by: | Owned by: | David Aspinall | |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description
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.
Note: See
TracTickets for help on using
tickets.
