Repository version on Isabelle website hidden behind login

Kevin Kappelmann kevin.kappelmann at tum.de
Tue Jul 8 16:04:22 CEST 2025

Previous message (by thread): NEWS: PIDE is able to load theory markup from underlying database
Next message (by thread): FWD: Re: [isabelle] DeepSeek experiment
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): NEWS: PIDE is able to load theory markup from underlying database
Next message (by thread): FWD: Re: [isabelle] DeepSeek experiment
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list