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



Am 07.02.2013 um 11:18 schrieb Tjark Weber:

> 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/

Maybe this will fit on one line:

    (λX. http://isabelle.in.tum.de/website-X/dist/X/doc/sugar.pdf) Isabelle2013-RC2

;)

Jasmin






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