Custom Query (361 matches)
Results (40 - 42 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. |
|||
#117 | fixed | Add resized toolbar icons | ||
Description |
Add resized toolbar icons that match Emacs 22's GNOME look to avoid ugly toolbar resizing. |
|||
#118 | wontfix | Complete X-Symbol unicode patch and add symbol configuration for Isabelle | ||
Description |
X-Symbol unicode patch allows use of token languages to input Unicode characters. Early work on this is now included in Proof General's bundled version of X-Symbol. |
Note: See TracQuery
for help on using queries.