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
> but with the link I would exceed the page limit (not the link alone, of 
> course ;)).

(Of course, this has other drawbacks.)

Best regards,

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