Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (10 - 12 of 361)

← 1 2 3 4 5 6 7 8 9 10 11 12 13 14 →
Ticket Resolution Summary Owner Reporter
#50 fixed Make sure PG perspective is default on product startup. David Aspinall David Aspinall <da+pgtrac@…>
#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 →
Note: See TracQuery for help on using queries.