Repository version on Isabelle website hidden behind login

[Kevin Kappelmann]

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