Custom Query (361 matches)

Using GNU emacs 22.1.1 on Ubuntu 7.10, the editor easily looses sync after stopping an unprocessed queue of commands.

For example, visit Isabelle/src/HOL/Lambda/ParRed.thy and assert the whole buffer. While the queue is being processed, but partly in "purple", pressing Stop button makes the prover choke on strange "<tool-bar> <interrupt>" sequences showing up in the *isabelle* buffer. Typing RETURN here helps a bit, but synchronization is usually lost.

In other situations, it *is* possible to interrupt safely. E.g. in Isabelle/src/HOL/Lambda/Eta.thy lemma square_beta_eta, the line marked as (*23 seconds?*).

Using GNU emacs 22.1.1 on Ubuntu 7.10, \<^sub> and \<^sup> control symbols are occasionally not rendered properly: either the literal \<^sub> etc. is left as is, or the purple expansion of the same (as shown when moving the cursor to such a place) somehow sticks permanently, but for several such \<^sub> sequences in the text, maybe those of a former region or command span.

This is hard to reproduce exactly, but happens routinely when working with Isabelle/src/HOL/Lambda a lot.

Starting Proof General with GNU Emacs 21.4.1 (Ubuntu 7.10) produces the following warning/error:

File mode specification error: (void-variable font-lock-extra-managed-props) File local-variables error: (void-variable font-lock-extra-managed-props)

This appears to be mostly harmless, i.e. the system seems to work despite of this.