Re: [isabelle] Automatically formatting Isabelle proof

I have downloaded Elbe, but it seems that this is not a free software?

I cannot use it.

On Tue, Jan 7, 2014 at 7:32 PM, Jens-D. Doll <jd at> wrote:

> On 01/07/2014 02:11 AM, li yongjian wrote:
>> Is there a hot-key to format all the proof scripts by automatically
>> indenting?
> Elbe contains this facility regardless of language. I am currently
> considering an update of the software. If somebody was willing to help me
> we could build an Isabelle formatter very soon
> []
> Greetings and wishes for a good 2014
> Jens

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