Repository version on Isabelle website hidden behind login

[Tobias Nipkow]

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
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5187 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20250924/a7f10614/attachment.bin>