Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Results (7 - 9 of 361)

1 2 3 4 5 6 7 8 9 10 11 12 13
Ticket Resolution Summary Owner Reporter
#16 fixed Move cursor and scroll during do/undo Graham Dutton David Aspinall <da+pgrac@…>
#20 fixed Fix ProofScriptEditor to change symbols cleanly David Aspinall David Aspinall <da+pgrac@…>
#24 fixed Replace current undo management with document-based undo mechanism David Aspinall David Aspinall <da+pgrac@…>
1 2 3 4 5 6 7 8 9 10 11 12 13
Note: See TracQuery for help on using queries.