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

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

broeni (2 matches)

Ticket Summary Component Milestone Type Created
#61 Install XML-RPC Plugin for Trac trac 0.2.2 bug 12/14/08
#10 Use different directories for sources and generated binaries zk-typechecker 0.2.1 task 06/07/08

hritcu (3 matches)

Ticket Summary Component Milestone Type Created
#27 Support first-order logic authorization logic with says modality theory-paper 0.3 feature 06/07/08
#2 Review all the code zk-typechecker 0.2.2 task 06/07/08
#26 Sound and more complete algorithmic version theory-paper 0.2.2 task 06/07/08
Note: See TracReports for help on using and creating reports.