Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Results (10 - 12 of 361)

1 2 3 4 5 6 7 8 9 10 11 12 13 14
Ticket Resolution Summary Owner Reporter
#474 fixed Indentation screwed up in sigT notations ("{ _ : _ & _ }") spanning multiple lines courtieu coquser
#486 fixed Disable long indention under quantifiers? courtieu coquser
#504 fixed Minor fix for coq-is-symbol-or-punct and coq-grab-punctuation-left cpitcla coquser
1 2 3 4 5 6 7 8 9 10 11 12 13 14
Note: See TracQuery for help on using queries.