Custom Query (361 matches)
Results (34 - 36 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #115 | fixed | Isabelle find-theorems form | ||
| Description |
Contribution from Tjark Weber: We have a tested and (hopefully) stable version of the search form now, that I think is ready to be integrated with the CVS version of ProofGeneral. I don't have write access to the CVS repository, so I'm sending the files to you instead. The attached archive contains two files: ProofGeneral/isar/isar.el and ProofGeneral/isar/find-theorems.el. The latter is new, while only a few lines of the former have been modified to integrate the search form. Please let me know what you think. (Feel free to take a look at the code and improve it if you like, of course.) |
|||
| #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. |
|||
