Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
I figured I should probably make my general complaint here, rather than on the comments on some recent "I have this opinion about AC" non-question (in this case, http://mathoverflow.net/questions/23264/are-c-and-barq-p-isomorphic ). There is certainly deep mathematics to be said about Axiom of Choice. But many of the recent "questions" about it have been, essentially (when they are this good), "I have this, probably naive, opinion about AC, and would like to hear other opinions", which is the very paragon of a discussion question.
In any case, I've said my spiel enough, and I think I will henceforth simply skip any AC question, leaving it to others to vote/contribute/close them.
This seems like a good meta-discussion to continue on the blogosphere.
1 to 3 of 3