Stream: General

Topic: Websites with Isabelle information


view this post on Zulip Kevin Kappelmann (Mar 16 2020 at 11:23):

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.

view this post on Zulip Josh Chen (Mar 16 2020 at 12:41):

Maybe the wiki, though that needs to be updated too..

view this post on Zulip Lukas Stevens (Mar 16 2020 at 14:02):

https://search.isabelle.in.tum.de/

view this post on Zulip Josh Chen (Mar 16 2020 at 18:26):

This is a great idea and sorely needed! :+1:!

view this post on Zulip Kevin Kappelmann (Mar 24 2020 at 11:40):

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.

view this post on Zulip Kevin Kappelmann (Mar 29 2020 at 11:54):

Thanks to Lars Hupel, the redirects are now automatically generated from the entries on the github repo. Enjoy :)


Last updated: Mar 28 2024 at 20:16 UTC