Custom Query (105 matches)
Results (101 - 105 of 105)
Resolution: needmoreinfo (5 matches)
Ticket | Summary | Owner | Type | Priority | Component | Created |
---|---|---|---|---|---|---|
#315 | failure to show ML errors | defect | major | 2:pg-emacs | 14 years ago | |
#321 | Retract buffer broken | defect | major | 2:pg-emacs | 14 years ago | |
#368 | coq, already defined values | defect | major | 7:prover-coq | 14 years ago | |
#373 | PG 4.0 forgets things. | defect | major | 2:pg-emacs | 14 years ago | |
#269 | Aquamacs key bindings don't work | defect | minor | 2:pg-emacs | 15 years ago |
Note: See TracQuery
for help on using queries.