Custom Query (361 matches)
Results (49 - 51 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#152 | fixed | Faults with main regexps in XEmacs 21.5(b28) for Coq | ||
#153 | fixed | is "proof state" view needed anymore? | ||
#154 | fixed | "restart" doesn't work |
Note: See TracQuery
for help on using queries.