Custom Query (361 matches)
Results (46 - 48 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#211 | fixed | Coq : deactivation of the 'Holes' functionality | ||
#233 | fixed | Coq fails to start | ||
#382 | fixed | coq-mode inhibits automatic saving of abbrevs |
Note: See TracQuery
for help on using queries.