Stream: Archive Mirror: Isabelle Users Mailing List

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


view this post on Zulip Email Gateway (Aug 19 2022 at 10:27):

From: Makarius <makarius@sketis.net>
People who are about to finish their ITP paper for today/tomorrow can
refer to any of the Isabelle2013 release candidates as

http://isabelle.in.tum.de/website-Isabelle2013-RC1
http://isabelle.in.tum.de/website-Isabelle2013-RC2

if this is required for the paper. I will leave the RC websites there for
several more weeks, until after the notification of ITP 2013, but not much
longer. Then http://isabelle.in.tum.de/website-Isabelle2013 will become
the only definitive version.

Note that in general, URLs like
http://isabelle.in.tum.de/website-Isabelle2012 are useful to refer to
certain Isabelle versions more permanently that "the" latest release. The
TUM server still has them back to Isabelle2008.

I will announce Isabelle2013-RC3 soon, to give people who were very busy
writing their ITP papers another chance to join the final testing.

Makarius

view this post on Zulip Email Gateway (Aug 19 2022 at 10:28):

From: Christian Sternagel <c.sternagel@gmail.com>
Why is the "website-" prefix required?

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 ;)). So instead I did fall back to

http://isabelle.in.tum.de/dist/Isabelle2012/doc/sugar.pdf

But I wonder what prevents the following format for release websites

...
http://isabelle.in.tum.de/Isabelle2011-1/
http://isabelle.in.tum.de/Isabelle2012/
htpp://isabelle.in.tum.de/Isabelle2013/
...

and document access

...
http://isabelle.in.tum.de/Isabelle2011-1/doc/
http://isabelle.in.tum.de/Isabelle2012/doc/
htpp://isabelle.in.tum.de/Isabelle2013/doc/
...

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

cheers

chris

view this post on Zulip Email Gateway (Aug 19 2022 at 10:28):

From: Makarius <makarius@sketis.net>
On Thu, 7 Feb 2013, Christian Sternagel wrote:

On 02/07/2013 06:49 AM, Makarius wrote:

Note that in general, URLs like
http://isabelle.in.tum.de/website-Isabelle2012 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 other words, why have the "dist/<version>" indirection?

The "website" and "dist" prefixes are already the answer to a huge mess
that had accumulated on unmanaged shared file-space over many years.
Since about 2008 we have this relatively sane structure, only with a few
confusions left about odd aliases and redirects on the server side (at TUM
only).

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 ;)). So instead I did fall back to

http://isabelle.in.tum.de/dist/Isabelle2012/doc/sugar.pdf

The shortest URL that I know is http://isabelle.in.tum.de/doc/sugar.pdf
-- it uses one of the traditional aliases that are likely to stay a bit
longer. Of course such unversioned links are just a hint of what you mean
at some arbitrary point in time.

Makarius

view this post on Zulip Email Gateway (Aug 19 2022 at 10:28):

From: Tjark Weber <webertj@in.tum.de>
http://goo.gl/

(Of course, this has other drawbacks.)

Best regards,
Tjark

view this post on Zulip Email Gateway (Aug 19 2022 at 10:29):

From: Jasmin Blanchette <jasmin.blanchette@gmail.com>
Maybe this will fit on one line:

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

;)

Jasmin


Last updated: Mar 28 2024 at 08:18 UTC