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

On 02/07/2013 06:49 AM, Makarius wrote:
Note that in general, URLs like are useful to refer to
certain Isabelle versions more permanently that "the" latest release.
The TUM server still has them back to Isabelle2008.
Why is the "website-" prefix required?

In my submission I wanted to refer to

but with the link I would exceed the page limit (not the link alone, of course ;)). So instead I did fall back to

But I wonder what prevents the following format for release websites


and document access


In other words, why have the "dist/<version>" indirection?



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