Has anybody an idea when we'll have 1.3.0?
I ask because yesterday I had a long shot at "inset unification" (i.e. reconciliation of math insets and the rest of the world) but failed. So the question is whether I should leave it as it is (which is probably best if we plan 1.3.0 really soon) or try to get there using small steps. Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson)