Re: [isabelle] Isabelle2013 release candidates vs. ITP deadline



On Thu, 2013-02-07 at 15:48 +0900, Christian Sternagel wrote:
> In my submission I wanted to refer to
>  
> http://isabelle.in.tum.de/website-Isabelle2013-RC2/dist/Isabelle2013-RC2/doc/sugar.pdf
> 
> but with the link I would exceed the page limit (not the link alone, of 
> course ;)).

http://goo.gl/

(Of course, this has other drawbacks.)

Best regards,
Tjark







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