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
#103 fixed Add ASCII markup communication for Coq (fix UTF8 stream/FAQ no.1) David Aspinall David Aspinall
#71 fixed Add Error Decoration to documents; optimise Active Script Decoration Graham Dutton Graham Dutton
#143 fixed Add XML/PGIP test scripts to Isabelle/Admin distribution David Aspinall David Aspinall
1 2 3 4 5 6 7 8 9 10 11 12 13
Note: See TracQuery for help on using queries.