Re: [isabelle] Contributing some Q&A to StackOverflow; please help me to gain reputation
-----BEGIN PGP SIGNED MESSAGE-----
2013-05-19 12:38 Joachim Breitner:
> when I wrote the mail I only looked at
> http://stackoverflow.com/questions/16629417 which I did not find
> very great
OK, I see.
> (though I do not agree with the closing of it).
Another StackOverflow feature I need to learn about – let me try to
understand how that happened.
The FAQ (http://stackoverflow.com/faq#close) says questions can be
closed when they are "no real questions", which probably was the
reason here, and that they can be closed by "experienced community
Are those "experienced community members" who close questions about
Isabelle likely to be experienced members of the _Isabelle_ community
(who understand why my question was "not very great", as you said), or
are these usually experienced members of StackOverflow in general, who
look at the general pattern of the question?
Christoph Lange, School of Computer Science, University of Birmingham
http://cs.bham.ac.uk/~langec/, Skype duke4701
→ Intelligent Computer Mathematics, 8–12 July, Bath, UK.
Work-in-progress deadline 7 June; http://cicm-conference.org/2013/
→ OpenMath Workshop, 10 July, Bath, UK.
Submission deadline 7 June; http://cicm-conference.org/2013/openmath/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/
-----END PGP SIGNATURE-----
This archive was generated by a fusion of
Pipermail (Mailman edition) and