Re: [isabelle] Isabella proof general
I am using 23 with Unicode-tokens, and it seems to work fine.
On Thu, Oct 29, 2009 at 12:07 AM, Tim McKenzie <tjm1983 at gmail.com> wrote:
> 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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and