Custom Query (13 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Ticket Summary Owner Type Priority Milestone Component
#250 Interrupt causes document inconsistency David Aspinall defect blocker 1:pg-eclipse
#249 Script management error for locales; undo action failure should not generate markers David Aspinall critical 1:pg-eclipse
#34 Event processing cleanups David Aspinall task major 1:pg-eclipse
#47 Complete configuration of <lexicalsyntax> elements David Aspinall enhancement major 1:pg-eclipse
#127 Fix Action Bar active editor switching; simplify actions David Aspinall defect major 1:pg-eclipse
#134 Generalise lexing to better match Isar syntax David Aspinall enhancement major 1:pg-eclipse
#169 Complete buffer history enhancement David Aspinall enhancement major PG-Emacs-4.3 2:pg-emacs
#454 coq mode: compile before import fails when no .v file hendrik enhancement major PG-Emacs-4.3 2:pg-emacs
#13 Add proof object search facilities to IdView Graham Dutton enhancement minor 1:pg-eclipse
#22 Refactor SessionManager David Aspinall enhancement minor 1:pg-eclipse
#43 Improve output markup (pgml.xsl) Graham Dutton enhancement minor 1:pg-eclipse
#240 Bad behaviour in startup when proof executables (isabelle, isatool) not found Graham Dutton defect minor 1:pg-eclipse
#244 Comical giant icons in outline view Graham Dutton defect minor 1:pg-eclipse
Note: See TracQuery for help on using queries.