Are there any remaining uses of Proof General, e.g. in the situation of current Isabelle/5b6f4655e2f2 ? This is neither a joke nor a running gag -- I just can't think of anything myself after the introduction of the spell checker. Makarius