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
#220 Remove X-Symbol, XEmacs support and backward compatibility David Aspinall task blocker 2:pg-emacs fixed
#358 link to proof general is broken David Aspinall defect blocker 2:pg-emacs invalid
#360 link to proof general is broken and lacks helpful message David Aspinall defect blocker 2:pg-emacs fixed
#369 PG will not compile under non-windowing Emacs David Aspinall defect blocker 2:pg-emacs fixed
#375 PG goes into infinite loop with 100% CPU usage David Aspinall defect blocker 2:pg-emacs invalid
← 1 2
Note: See TracQuery for help on using queries.