[isabelle-dev] Announcement: The Isabelle Community Wiki
hoelzl at in.tum.de
Thu Jan 12 21:27:47 CET 2012
Hi Isabelle users & developers,
we have now a wiki for the Isabelle community:
It is intended for:
* the lists which are always outdated, like
- 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:
* miscellaneous tips and tricks
The pages faq.html, community.html and projects.html are moved to the
To edit the wiki pages you need an account, just write an email to
hoelzl at 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
Old links like
The old links work, but they should not be used.
I hope you like it,
More information about the isabelle-dev