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
> 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
This archive was generated by a fusion of
Pipermail (Mailman edition) and