Re: [isabelle] Isabella proof general

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.


Attachment: signature.asc
Description: This is a digitally signed message part.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.