Email Gateway (Aug 18 2022 at 18:55): Email Gateway (Aug 18 2022 at 18:55):From: Johannes Hölzl <hoelzl@in.tum.de>
Hi Isabelle users & developers,
we have now a wiki for the Isabelle community:
http://isabelle.in.tum.de/community
It is intended for:
the lists which are always outdated, like
- FAQ,
- projects people working on,
- theory collections,
- external tools,
- ...
These lists will not automagically be better maintained because its
a wiki. But, they are already outdated and having them in a wiki
at least simplifies their maintenance.
managing pages for big changes like:
https://isabelle.in.tum.de/community/Having_%27a_set_back
miscellaneous tips and tricks
The pages faq.html, community.html and projects.html are moved to the
wiki.
To edit the wiki pages you need an account, just write an email to
hoelzl@in.tum.de and I will create an wiki-account for you.
There are special interwiki links to reference the Isabelle repository
or the AFP, see
https://isabelle.in.tum.de/community/How_to_use_this_wiki
Old links like
https://isabelle.in.tum.de/isanotes/index.php/<page>
are now
https://isabelle.in.tum.de/community/<page>
The old links work, but they should not be used.
I hope you like it,
Johannes
Email Gateway (Aug 18 2022 at 19:12):From: Makarius <makarius@sketis.net>
Since Coq users are already ahead several years, one might benefit from
looking what they have at http://coq.inria.fr/cocorico
I've only clicked on the "Video Tutorials" link, to find that Andrej Bauer
pretends to download Proof General for Coq, but then runs Proof General
3.7.1.1 from the Isabelle distribution :-)
Makarius
Last updated: Apr 23 2024 at 08:19 UTC