Opened 17 years ago
Last modified 11 years ago
#108 new enhancement
Support proof object searching via search dialog
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description
As a supplement to the IdView?, we may support proof object searching via a search dialog, with a special search results page for presentation.
Ideally we will eventually also support searching in object contains via the contains/references reporting mechanisms of PGIP (in development).
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.1.0 deleted