Custom Query (361 matches)
Results (4 - 6 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#140 | fixed | PG takes a long time printing module types in Coq | ||
#152 | fixed | Faults with main regexps in XEmacs 21.5(b28) for Coq | ||
#159 | wontfix | Goal centering |
Note: See TracQuery
for help on using queries.