{1} Active Tickets (2 matches)

  • List all active tickets by priority.
  • Color each row based on priority.
Ticket Summary Type Owner Status Created
#7 Abella theorem prover talk request new Mar 5, 2013
#1 Manticore parallel programming language talk request new Apr 22, 2011
Note: See TracReports for help on using and creating reports.