{4} Assigned, Active Tickets by Owner (13 matches)

List assigned tickets, group by ticket owner, sorted by priority.

David Aspinall (8 matches)

Ticket Summary Component Milestone Type Created
#250 Interrupt causes document inconsistency 1:pg-eclipse defect Sep 5, 2008
#249 Script management error for locales; undo action failure should not generate markers 1:pg-eclipse Sep 4, 2008
#127 Fix Action Bar active editor switching; simplify actions 1:pg-eclipse defect Jul 7, 2007
#47 Complete configuration of <lexicalsyntax> elements 1:pg-eclipse enhancement Jan 30, 2007
#134 Generalise lexing to better match Isar syntax 1:pg-eclipse enhancement Jul 19, 2007
#169 Complete buffer history enhancement 2:pg-emacs PG-Emacs-4.3 enhancement Dec 13, 2007
#34 Event processing cleanups 1:pg-eclipse task Jan 30, 2007
#22 Refactor SessionManager 1:pg-eclipse enhancement Jan 30, 2007

Graham Dutton (4 matches)

Ticket Summary Component Milestone Type Created
#240 Bad behaviour in startup when proof executables (isabelle, isatool) not found 1:pg-eclipse defect Aug 15, 2008
#244 Comical giant icons in outline view 1:pg-eclipse defect Sep 1, 2008
#13 Add proof object search facilities to IdView 1:pg-eclipse enhancement Jan 30, 2007
#43 Improve output markup (pgml.xsl) 1:pg-eclipse enhancement Jan 30, 2007

hendrik (1 match)

Ticket Summary Component Milestone Type Created
#454 coq mode: compile before import fails when no .v file 2:pg-emacs PG-Emacs-4.3 enhancement Oct 2, 2012
Note: See TracReports for help on using and creating reports.