Hey, we are going to install subdomain redirects on isabelle.systems to have an easier way to find all the important isabelle information spread across the Internet. For example, afp.isabelle.systems should redirect you to the afp. So far we have:
Please let us know any further suggestions.
Maybe the wiki, though that needs to be updated too..
This is a great idea and sorely needed! :+1:!
Update: The website is online: https://isabelle.systems/ and we are going to work on the redirects soon. They will not be sudomains but trailing paths though, e.g. isabelle.systems/afp isabelle.systems/chat etc.
Thanks to Lars Hupel, the redirects are now automatically generated from the entries on the github repo. Enjoy :)
Last updated: Dec 07 2023 at 08:19 UTC