Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (121 - 123 of 361)

← 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 →
Ticket Resolution Summary Owner Reporter
#360 fixed link to proof general is broken and lacks helpful message David Aspinall megacz
#359 fixed Fix coq.el bindings (coq-insert-term, proof-store-goals-win, & coq-SearchAbout) David Aspinall Erik Martin-Dorel
#358 invalid link to proof general is broken David Aspinall megacz
← 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 →
Note: See TracQuery for help on using queries.