Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Results (16 - 18 of 361)

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
Ticket Resolution Summary Owner Reporter
#52 fixed An issue with current version of Trac David Aspinall Graham Dutton
#56 fixed PGActions do not always clear their status (report "someone else owns the prover") David Aspinall David Aspinall <da+pgtrac@…>
#63 fixed Improve symbols: fill out default table, add ascii-symbol completion David Aspinall David Aspinall <da+pgtrac@…>
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
Note: See TracQuery for help on using queries.