Re: [isabelle] Isabella proof general

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?


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

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