Custom Query (361 matches)

In GNU Emacs 21.4.1 (Ubuntu 7.10) sub/superscript control sequences are not rendered properly. For example a\<^sub>b appears as follows: a, purple \<^sub>, subscripted b.

In other words, the hiding of the control sequence does not work; recall that in GNU Emacs 22.1.1 this happens occasionally, too.

ProofGeneral crashes while trying to display tracing messages produced by the prover. The problem occurs with both XEmacs 21.4 and 21.5. To reproduce the bug, try

lemma "True"

apply (tactic {* print_tac "test" *})

> xemacs -batch -q -no-site-file -eval '(setq load-path (append (mapcar (lambda (d) (concat "/home/courtieu/pg/cvs_NOCHANGE/" (symbol-name d))) (quote (acl2 ccc coq demoisa hol98 isar lclam lego pgshell phox plastic twelf generic lib mmm))) load-path))' -f batch-byte-compile lib/maths-menu.el
> > > Compiling /home/courtieu/pg/cvs_NOCHANGE/lib/maths-menu.el...
> > > While compiling toplevel forms in file /home/courtieu/pg/cvs_NOCHANGE/lib/maths-menu.el:
> > >   !! Invalid read syntax (("#"))
>>> > >>> Error occurred processing lib/maths-menu.el: 
> > > Invalid read syntax: "#"

I am using debian unstable xemacs version: 21.4 (patch 21)...