Re: [isabelle] Suggesting to add common isabelle user questions to the wiki
- To: Lars Noschinski <noschinl at in.tum.de>
- Subject: Re: [isabelle] Suggesting to add common isabelle user questions to the wiki
- From: Makarius <makarius at sketis.net>
- Date: Fri, 1 Mar 2013 13:04:20 +0100 (CET)
- Cc: cl-isabelle-users at lists.cam.ac.uk
- In-reply-to: <512F1EA0.email@example.com>
- References: <CAGbqCMyEmOwjh3G1OVOvwfuR46hN7VLAVxiBRVLHDm56KByWZA@mail.gmail.com> <512C1AB5.firstname.lastname@example.org> <CAGbqCMzqaLRnzciMft1AEDHSKrMYT7haazriDW6q78fOoOezug@mail.gmail.com> <512F1EA0.email@example.com>
- User-agent: Alpine 2.00 (LNX 1167 2008-08-23)
On Thu, 28 Feb 2013, Lars Noschinski wrote:
Whether this is on the wiki or an services like stackexchange, I don't
stackexchange works quite well.
Currently, of the stackexchange sites, stackoverflow.com would be the
site where questions to using Isabelle are on-topic.
You are actually one of those few who have answered questions under the
"isabelle" tag on stackexchange already.
I have started looking myself yesterday. I do see a difference in the
structure compared to raw wiki (MediaWiki) -- which is indeed
old-fashioned as was pointed out before this thread was moved from
isabelle-dev to isabelle-users.
Stackexchange is not just this chaotic editing by anyone, and later the
reader needs to sort out archeological layers himself, to learn who said
what at some point in history, and how relevant or trustworthy the
information. It has a little bit of organization of these layers of
editing, voting up or down etc.
Of course, I can hardly say how it works out in practice, being there
member for less than 24 h, but my first impressions are quite good.
Yesterday I was at 1 point reputation and had 1 bronce badge (for reading
the introductory documentation). Just looking again I've already got +30
points and a "teacher" badge. So I won't have to go out and slay some
monsters in this game, to get more points :-)
This archive was generated by a fusion of
Pipermail (Mailman edition) and