Email Gateway (Nov 30 2021 at 16:31): Email Gateway (Nov 30 2021 at 16:31):From: Peter Lammich <lammich@in.tum.de>
Hi,
Google still finds the "Isabelle Community Wiki" (
https://isabelle.in.tum.de/community/Main_Page)
It seems to have edits from two years ago, but is not linked from the
Isabelle home page (isabelle.in.tum.de) (at least not prominently
enough that I could find it from there).
Is this still alive? If yes, as it is a Wiki, how to become part of the
"community" with edit rights?
If no: Why not delete it, or mark it as obsolete right on its main
page?
Email Gateway (Nov 30 2021 at 17:10):From: Tobias Nipkow <nipkow@in.tum.de>
It was neither sufficiently alive nor sufficienly up to date to continue linking
to it from the Isabelle pages. I guess it would be good to mark the pages as
obsolete, but I couldn't log in when I just tried (and am not sure I ever did).
Tobias
smime.p7s
Last updated: Jul 15 2022 at 23:21 UTC