Custom Query (361 matches)

The font-lock setup does not handle \<^sub> and \<^sub> properly if X-Symbol mode is enabled only later via the menu. For example, in Isabelle/HOL

  thm wf_trancl

displays \<^sup> verbatim. If the printed text is pasted into the source buffer it is shown properly as superscript. It also works as expected if X-Symbol is enabled right from the start, using option -x true.

Isabelle fails to start up with PG 3.7 and XEmacs 21.5.28, not sure if this is intended to work.

I have attached the error trace.

The same / a similar issues was also reported on the Isabelle mailing list, cf.:

​https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2007-August/msg00065.html

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.