Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
I noticed a few occurrences of the dg.discrete-geometry tag, which I think should be merged into the discrete-geometry tag. Anyone object?
I believe that I have enough rep to merge tags, but I've never done it before so I'm not sure how to do it.
Done.
There is a sticky discussion for this very purpose: http://tea.mathoverflow.net/discussion/34/5/tag-mergerename-requests
1 to 3 of 3