Custom Query (361 matches)
Results (55 - 57 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#173 | fixed | coq indenting mode gets confused by *) in proofs | ||
#449 | fixed | coq electric terminator conflict | ||
#437 | fixed | compilation error with LANG=C |
Note: See TracQuery
for help on using queries.