Custom Query (361 matches)
Results (22 - 24 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#159 | wontfix | Goal centering | ||
#204 | fixed | undo stops undoing in large proofs | ||
#296 | fixed | PG accepts garbage though Coq said "illegal begin of vernac" |
Note: See TracQuery
for help on using queries.