Custom Query (1 match)

Filters
 
Or
 
  
 
Columns

Show under each result:

Status: closed (1 match)

Ticket Summary Owner Type Priority Resolution Created
#103 Add ASCII markup communication for Coq (fix UTF8 stream/FAQ no.1) David Aspinall enhancement major fixed 17 years ago
Note: See TracQuery for help on using queries.