Opened 17 years ago
Last modified 11 years ago
#13 assigned enhancement
Add proof object search facilities to IdView — at Initial Version
| Reported by: | Owned by: | David Aspinall | |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description
Add a proof object search facility to IdView?, similar to the Open Type dialog in Java, so we can find names dynamically. A more advanced facility would be to search on object contents.
This may require using prover-side search, and/or interfacing with ProverKnowledge?.
Note: See
TracTickets for help on using
tickets.
