[isabelle-dev] Announcement: The Isabelle Community Wiki

Johannes Hölzl 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
    - 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:

 * 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


are now


The old links work, but they should not be used.

I hope you like it,

More information about the isabelle-dev mailing list