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.)
This archive was generated by a fusion of
Pipermail (Mailman edition) and