Custom Query (361 matches)
Results (64 - 66 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#346 | fixed | Coq multiple keywords are wrongly colorized | ||
#404 | fixed | Coq parse error with undelimited comment | ||
#487 | fixed | Coq syntax highlighting: Proposition |
Note: See TracQuery
for help on using queries.