Custom Query (105 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (101 - 105 of 105)

← 1 2

Resolution: needmoreinfo (5 matches)

Ticket Summary Owner Type Priority Component Created
#315 failure to show ML errors David Aspinall defect major 2:pg-emacs 14 years ago
#321 Retract buffer broken David Aspinall defect major 2:pg-emacs 14 years ago
#368 coq, already defined values David Aspinall defect major 7:prover-coq 14 years ago
#373 PG 4.0 forgets things. David Aspinall defect major 2:pg-emacs 14 years ago
#269 Aquamacs key bindings don't work David Aspinall defect minor 2:pg-emacs 15 years ago
← 1 2
Note: See TracQuery for help on using queries.