Am 17.04.2015 um 23:11 schrieb James Crist:
That's just a name change for each label (one-to-one correspondance with
existing labels), which can be done easily later.
Grouping labels might make it easier to manipulate them using hooks.
But then it's probably better to change the names once it's clear what
changes should be allowed by which user group. And once it's clear that
we can do this hook stuff in the first place.
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sympy+unsubscr...@googlegroups.com.
To post to this group, send email to sympy@googlegroups.com.
Visit this group at http://groups.google.com/group/sympy.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sympy/5536888F.8030904%40durchholz.org.
For more options, visit https://groups.google.com/d/optout.