[isabelle-dev] Announcement: The Isabelle Community Wiki

[Johannes Hölzl]

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 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 
  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