Custom Query (105 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (101 - 105 of 105)

← 1 2

Status: closed (5 matches)

Ticket Summary Owner Type Priority Component Resolution
#305 High overhead David Aspinall enhancement major 2:pg-emacs needmoreinfo
#315 failure to show ML errors David Aspinall defect major 2:pg-emacs needmoreinfo
#321 Retract buffer broken David Aspinall defect major 2:pg-emacs needmoreinfo
#368 coq, already defined values David Aspinall defect major 7:prover-coq needmoreinfo
#373 PG 4.0 forgets things. David Aspinall defect major 2:pg-emacs needmoreinfo
← 1 2
Note: See TracQuery for help on using queries.