Custom Query (1 match)
Ticket | Summary | Status | Owner | Type | Milestone | Component |
---|---|---|---|---|---|---|
#364 | Unify proof-query-identifier and pg-identifier-near-point-query (cleanup) | accepted | task | PG-Emacs-4.3 | 2:pg-emacs |
Note: See TracQuery
for help on using queries.