Custom Query (4 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Ticket Summary Status Keywords Owner Type Priority
#51 Add processing direction to 'active script' decorator new decorator document state anonymous enhancement minor
#480 [match]es sometimes screw up indentation new indentation David Aspinall defect minor
#483 ltac: and constr: should not affect indentation new indentation David Aspinall defect minor
#499 delays between coq messages can cause PG to duplicate some new duplicate messages David Aspinall defect minor
Note: See TracQuery for help on using queries.