Repository version on Isabelle website hidden behind login

[Makarius]

> 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