Re: [isabelle] Automatically formatting Isabelle proof



I have an email adr with suffix ac.cn.
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 gmail.com>:
> 
> > 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.