Custom Query (361 matches)
Results (4 - 6 of 361)
| Ticket | Owner | Reporter | Resolution | Summary |
|---|---|---|---|---|
| #379 | fixed | Syntax error in ProofGeneral.desktop file | ||
| Description |
I receive the following message from KDE on my terminal periodically: kbuildsycoca4 running... (28429) KConfigGroup::readXdgListEntry: List entry Categories in "/usr/share/applications/proofgeneral.desktop" is not compliant with XDG standard (missing trailing semicolon). I don't know whether this affects the functioning of the file as an app launcher, because I always launch ProofGeneral from within emacs anyway, so I never use it. |
|||
| #394 | fixed | Coq "Library" keyword - incorrect coloring | ||
| Description |
When using "Extraction Library <Module>", the "Library" word is not highlighted in blue like all other keywords (Extraction, Require, etc). |
|||
| #396 | fixed | error in proof-shell-insert-hook docstring | ||
| Description |
Hi, this docstring mentions the callbacks init-cmd and interactive-input. These seem not to exist any more. It does not mention proof-shell-set-silent and proof-shell-clear-silent. Bye, Hendrik Tews |
|||
Note: See TracQuery
for help on using queries.
