Email Gateway (Jul 08 2025 at 14:04): Email Gateway (Jul 08 2025 at 14:04):From: Kevin Kappelmann <kevin.kappelmann@tum.de>
Hi all,
The Isabelle website (e.g. isabelle.in.tum.de) includes a link to the
"repository version". It redirects to
"isabelle-dev.sketis.net/source/isabelle", which hides the actual
content behind a login. I suggest changing the link to some source
without a login, e.g. "https://isabelle.in.tum.de/repos/isabelle/".
Best wishes,
Kevin
Email Gateway (Sep 24 2025 at 11:50):From: Kevin Kappelmann via isabelle-dev <isabelle-dev@mailman.proof.cit.tum.de>
I just wanted to bump this thread: would it be possible to change the
link to the repository version to some source that does not require a login?
Best wishes,
Kevin
On 08.07.25 16:04, Kevin Kappelmann wrote:
Hi all,
The Isabelle website (e.g. isabelle.in.tum.de) includes a link to the
"repository version". It redirects to "isabelle-dev.sketis.net/source/
isabelle", which hides the actual content behind a login. I suggest
changing the link to some source without a login, e.g. "https://
isabelle.in.tum.de/repos/isabelle/".Best wishes,
Kevin
Email Gateway (Sep 24 2025 at 12:55):From: Makarius <makarius@sketis.net>
On 08.07.25 16:04, Kevin Kappelmann wrote:
Hi all,
The Isabelle website (e.g. isabelle.in.tum.de) includes a link to the
"repository version". It redirects to "isabelle-dev.sketis.net/source/
isabelle", which hides the actual content behind a login. I suggest changing
the link to some source without a login, e.g. "https:// isabelle.in.tum.de/
repos/isabelle/".
On 24/09/2025 13:49, Kevin Kappelmann via isabelle-dev wrote:
I just wanted to bump this thread: would it be possible to change the link to
the repository version to some source that does not require a login?
The time to update the website is usually before the next release, i.e. in a
few weeks.
It also requires some thoughts, because
https://isabelle.in.tum.de/repos/isabelle has performance problems, too.
De-facto we have been using https://isabelle.sketis.net/repos/isabelle recently.
An alternative is to stop all this AI-nonsense out there ...
Makarius
Email Gateway (Sep 24 2025 at 13:23):From: Tobias Nipkow <nipkow@in.tum.de>
Makarius,
Please show the link to the TUM repository with the new release. It has
performance problems at times (and you can always add a warning), but that is
much less of a hurdle than needing a login. Of course you can show both.
Tobias
On 24/09/2025 14:54, Makarius wrote:
On 08.07.25 16:04, Kevin Kappelmann wrote:
Hi all,
The Isabelle website (e.g. isabelle.in.tum.de) includes a link to the
"repository version". It redirects to "isabelle-dev.sketis.net/source/
isabelle", which hides the actual content behind a login. I suggest changing
the link to some source without a login, e.g. "https:// isabelle.in.tum.de/
repos/isabelle/".
On 24/09/2025 13:49, Kevin Kappelmann via isabelle-dev wrote:
I just wanted to bump this thread: would it be possible to change the link to
the repository version to some source that does not require a login?The time to update the website is usually before the next release, i.e. in a few
weeks.It also requires some thoughts, because https://isabelle.in.tum.de/repos/
isabelle has performance problems, too. De-facto we have been using https://
isabelle.sketis.net/repos/isabelle recently.An alternative is to stop all this AI-nonsense out there ...
Makarius
Last updated: Dec 17 2025 at 08:33 UTC