Custom Query (361 matches)
Results (37 - 39 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#392 | wontfix | Isabelle anti-quotation colouring obliterates symbol font setting | ||
Description |
I can now get most symbols displayed by choosing "Apple Symbols" in the Tokens menu with the exception of symbols in antiquotations like |
|||
#163 | fixed | Problems with x-symbol in XEmacs 21.5.28 (latin-iso8859-2 error) | ||
Description |
I'm just trying to get ProofGeneral to work with XEmacs 21.5.28 and Fedora Linux. During startup, I get a long and unreadable error message starting with something like (1) (file-mode-spec/warning) Error in File mode specification: Wrong type argument: consp, latin-iso8859-2 I noticed this problem while I was visiting a user who is using Fedora release 7 (Moonshine), Kernel 2.6.23.1-21-fc7 on an i686. However, I also had the same problem on one of our machines at TUM, running XEmacs 21.5.28 and openSUSE 10.3. |
|||
#174 | fixed | Unable to exit prover | ||
Description |
When using ProofGeneral with XEmacs 21.4 and the CVS version of Isabelle, it is not possible to exit the prover by selecting the "Isabelle -> Exit Isabelle" menu item. Instead of terminating the prover, ProofGeneral just displays the message "Warning: buffer *isabelle* not killed; still associated with prover process.". This problem does not occur with XEmacs 21.5, though. |