Custom Query (361 matches)
Results (64 - 66 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#346 | fixed | Coq multiple keywords are wrongly colorized | ||
Description |
I have just noticed a bug in current font lock behavior: When a Coq vernacular takes more than one word, it is not colorized (or badly), for instance: Open Scope ... (* is not colorized at all, *) Reserved Notation ... (* has only "Notation" colorized, *) Set Implicit Arguments. (* has only "Set" colorized, in a wrong way. *) My System Info: GNU-Emacs-23.2.1, ProofGeneral-4.0pre100828, Coq-8.2pl2. Kind regards, Erik Martin-Dorel. |
|||
#404 | fixed | Coq parse error with undelimited comment | ||
Description |
open a new file a.v and put just a comment start (* into it. proof-assert-next-command-interactive gives then the error "number-or-marker-p, nil" Hendrik |
|||
#487 | fixed | Coq syntax highlighting: Proposition | ||
Description |
The Proposition vernacular command is not highlighted properly. |
Note: See TracQuery
for help on using queries.