Custom query (3 matches)

Filters
 
or
 
  
 
Columns

Show under each result:


Status: assigned (1 match)

Ticket Summary Owner Type Priority Version Severity
#17402 Automatically package and publish up-to-date tutorial proofs Pierre-Yves Strub enhancement 3 pre-1.x normal

Status: closed (2 matches)

Ticket Summary Owner Type Priority Version Severity
#17098 Add a search facility Pierre-Yves Strub enhancement 4 pre-1.x normal
#17252 The `seq` variant documented as pHL is in fact the HL tactic. Alley Stoughton defect 3 pre-1.x normal
Note: See TracQuery for help on using queries.