Re: [isabelle] Isabella proof general



I am using 23 with Unicode-tokens, and it seems to work fine.

Sigurd.

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.
>
> Tim
> <><
>





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