On Wed, 28 Oct 2009 00:44:58 Lucas Dixon wrote: > For Isabelle 2009, I think the best combination is x-symbols > and emacs 22. Thanks; this is the setup I'm using at the moment. I was curious to know whether it would be worth trying to get Emacs 23 working, but it sounds like I should wait. Tim <><
Description: This is a digitally signed message part.