Custom Query (1 match)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Type Priority Milestone Component
#1 Lifting doesn't introduce capabilities. new lemma normal SystemF2Effect
Note: See TracQuery for help on using queries.