Stream: General

Topic: Websites with Isabelle information

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:

• main: isabelle.in.tum.de
• afp: https://www.isa-afp.org/
• chat: isabelle.zulipchat.com
• chat-archive: https://isabelle-prover.github.io/zulip-archive/
• competition: https://competition.isabelle.systems
• dev: isabelle-dev.sketis.net
• dev-email: https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/
• doc: https://isabelle.in.tum.de/documentation.html
• email: https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html
• isar: https://isabelle.in.tum.de/dist/Isabelle2019/doc/isar-ref.pdf
• ml-tips: https://nms.kcl.ac.uk/christian.urban/Cookbook/
• repo: https://isabelle-dev.sketis.net/source/isabelle/
• tips: https://github.com/isabelle-prover/cookbook

Please let us know any further suggestions.

Josh Chen (Mar 16 2020 at 12:41):

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

Lukas Stevens (Mar 16 2020 at 14:02):

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

Josh Chen (Mar 16 2020 at 18:26):

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

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.

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: Dec 21 2024 at 12:33 UTC