Re: [isabelle] Automatically formatting Isabelle proof

I have an email adr with suffix
I can help you.

On Wed, 2014-01-08 at 12:46 +0100, Jens-D. Doll wrote:
> Hello Li,
> this is not quite correct. If you have a student email address, containing  
> e.g. ".edu" or "university", you can request a free academic license.
> Use the menu item of Elbe, see attachment, which leads you to the  
> licensing web page.
> Are you willing to help me?
> Jens
> Am .01.2014, 10:59 Uhr, schrieb li yongjian <lyj238 at>:
> > I have downloaded Elbe, but it seems that this is not a free software?
> >
> > I cannot use it.

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