Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (175 - 177 of 361)

← 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 →
Ticket Owner Reporter Resolution Summary
#357 David Aspinall Erik Martin-Dorel fixed Feature suggestion: function + binding to insert Coq closing tactics
#363 David Aspinall David Aspinall fixed Multiple file handling for Coq needs sensible treatment
#365 David Aspinall Erik Martin-Dorel fixed Fix three mouse bindings in proof-menu.el, pg-goals.el, and pg-vars.el
← 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 →
Note: See TracQuery for help on using queries.