Custom Query (361 matches)
Results (61 - 63 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#172 | fixed | Problem with indentation in Coq mode | ||
#173 | fixed | coq indenting mode gets confused by *) in proofs | ||
#174 | fixed | Unable to exit prover |
Note: See TracQuery
for help on using queries.