On Tue, 27 Oct 2009 09:03:23 Makarius wrote: > GNU Emacs 22 or 23 usually works best with Proof General, which > is the default Isabelle user interface that you are faced > with. I couldn't get X-Symbol to work in GNU Emacs 23, so I went back to GNU Emacs 22. Have other people got it working in Emacs 23, or is X-Symbol no longer preferred? Tim <><
Description: This is a digitally signed message part.