Email Gateway (Oct 28 2024 at 15:36): Email Gateway (Oct 28 2024 at 15:36):From: Lawrence Paulson <lp15@cam.ac.uk>
What is the setup for updating this page?
https://isabelle.in.tum.de/community/Projects
The most recent entry on it is dated 2017, and there is only one of those.
Larry
Email Gateway (Oct 29 2024 at 11:37):From: Fabian Huch <huch@in.tum.de>
The community wiki is indeed quite out of date. There was a discussion a
few years ago whether to deactivate it and nobody objected.
Hence, it is going to be deactivated soon.
Fabian
On 10/28/24 16:36, Lawrence Paulson wrote:
What is the setup for updating this page?
https://isabelle.in.tum.de/community/Projects
The most recent entry on it is dated 2017, and there is only one of those.
Larry
Last updated: Jan 04 2025 at 20:18 UTC