Custom Query (19 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Ticket Summary Owner Type Priority Milestone Component
#469 coqgeneral 4.3pre130327 does not compile with Emacs 24.3 David Aspinall defect blocker PG-Emacs-4.3 2:pg-emacs
#157 undo sometimes incorrectly tries to undo a larger container than is appropriate David Aspinall defect critical 1:pg-eclipse
#185 Failed initialization of *trace* buffer (xemacs-21.4.x) David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#186 Failed initialization of *trace* buffer (xemacs-21.4.x) David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#203 Carbon Emacs: no colouring of variables in Isabelle output David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#205 x-symbol fails in Carbon Emacs David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#212 Carbon Emacs: strange unicode abbreviations David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#283 assert command etc.: strange movement of point David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#329 Unwanted kill-buffer at startup David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#337 C-c C-a h is undefined David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#442 Emacs 24 and long inputs David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#447 Proof General stalls on long Ltac (Coq) David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#92 Attempt recovery from XML parse errors in PGIP main loop David Aspinall defect minor 4:prover-isabelle
#319 delete would be nice if it didn't expant symbols David Aspinall enhancement minor PG-Emacs-4.1 2:pg-emacs
#350 Report Emacs bug (was: Unicode tokens "Reveal Control/Symbol Tokens" reveals hidden text in script buffer) David Aspinall task minor PG-Emacs-4.2 2:pg-emacs
#390 Odd progress markers in text mode David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#427 defpacustom and undo David Aspinall defect minor PG-Emacs-4.2 2:pg-emacs
#433 unexpected cursor position after stepping through command with terminator at line ending David Aspinall enhancement minor PG-Emacs-4.2 2:pg-emacs
#325 Splash buffer occupies half the frame David Aspinall defect trivial PG-Emacs-4.0 2:pg-emacs
Note: See TracQuery for help on using queries.