Custom Query (361 matches)
Results (37 - 39 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#113 | fixed | Coq commands not described in coq/coq-syntax.el | ||
#114 | fixed | Spurious "replaced xyz occurrences" messages | ||
#115 | fixed | Isabelle find-theorems form |
Note: See TracQuery
for help on using queries.