On Thu, Sep 19, 2002 at 01:41:13PM +0100, John Levon wrote: > I'd rather have this than have 99% of the thing unusable to benefit some > theoretical "correctness" yardstick that nobody but the developers care > about. Sure, the theroem problem is a bad one. But I don't see why we > have ANY requirement to make "all that is legal is permissible" - we > already have ERT for power users needing to do something really weird.
As long as it concern my lunchtime talk I am interested in certain aspects that are of interest for certain power users. Having two theorems in a row is not considered as "really weird". > If you can solve the major UI flaws with it (that is, so it is > essentially transparent to the user) then I'd have no qualms with > however it's implemented. Please start a list of "major UI flaws". The only one on my list is "an extra keystroke when entering from the left or right". > > I wonder why we are discussing these things right now anyway. I was not > > suggesting moving outer world font changes to insets recently and the math > > font stuff is in since 1.3cvs was opened. > > Maybe we all wanted a good old flamewar Ok. So if I don't respond anymore it's just because I got tired of it. Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson)
