Email Gateway (Aug 19 2022 at 10:27): 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
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
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
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
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
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: Nov 21 2024 at 12:39 UTC