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 [email protected] 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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
