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 cococo.de> 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
> [http://cococo.de/Elbe]
>
> Greetings and wishes for a good 2014
> Jens
>
>



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