On Thu, 12 Jan 2012, Johannes Hölzl wrote:
The pages faq.html, community.html and projects.html are moved to the
wiki.
The community.html used to have the important information about the
Isabelle mailing lists. Since users of wikis and mailing lists are often
disjoint, having that now on the wiki is apt to loose many people looking
for these important list addresses.
We should probably also explain more explicitly the purpose of
isabelle-users vs. isabelle-dev. Especially prevent the misconception
that "users = Isabelle/Isar" and "dev = Isabelle/ML", which was never
intended that way as far as I am concerned. It is more like "users = some
recent official release" and "dev = arbitrary repository versions and the
related development process, including administrative things like
isatest, mira etc.".
Makarius_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
