[Monotone-devel] Re: Undo a commit

[Lapo Luchini]

Bruce Stephens wrote:
>>> Yup, it's because it's "monotonic" in nature you can only add, never remove.
>>
>> Does that have anything to do with why Monotone is called Monotone?
> 
> No, not really.
> 
> The original idea (IIRC) was that "monotone update" would always give
> you a tree that was no worse than the one you had before.  So you'd
> have a tree that was monotonically improving in some useful sense (or
> at least non-decreasing in quality).

Uh, really? 0_o
I had thought for the past years that monotone meant just that…

-- 
Lapo Luchini - http://lapo.it/