Custom Query (361 matches)
Results (7 - 9 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#160 | fixed | "Abort" keyword not recognized in Coq | ||
#172 | fixed | Problem with indentation in Coq mode | ||
#166 | fixed | Out of sync on illegal escape character |
Note: See TracQuery
for help on using queries.