Custom Query (361 matches)
Results (67 - 69 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #116 | fixed | Coq syntax highlighting: identifiers starting with "fun" are wrongly coloured | ||
| Description |
In my Coq file, identifiers beginning with "fun" have the "fun" in black and the rest of the identifier coloured. Emacs: GNU Emacs 22.0.95.1 (x86_64-redhat-linux-gnu, GTK+ Version 2.10.9)
Proof General Version 3.7pre070511. |
|||
| #74 | wontfix | Coq: bug in electric terminator: typing '.' in comment causes comment to be sent and locked | ||
| Description |
When I type a '.' within a comment, the comment is sent to Coq and then locked. This is obviously not what I want! A '.' within a comment should be ignored. Emacs : GNU Emacs 22.0.93.1 (x86_64-redhat-linux-gnu, GTK+ Version 2.10.9)
Package: Proof General current state: ============== (setq
|
|||
| #236 | fixed | Crash when entering antiquotation | ||
| Description |
Entering @{ is broken in 3.7.1 and later. Effect: emacs takes three minutes to respond if it doesn't crash!!! It works with 3.7.1pre080722. This is on GNU Emacs 22.2.1 (i386-apple-darwin8.11.1, Carbon Version 1.6.0) of 2008-04-02 on seijiz.local. |
|||
