Dieter Maurer wrote: > > Sigh. The answer is... "not practically", I believe. > But "undoable" and "version support" are orthogonal. > > Thus, in principle, you can have "non-undoable" and "version support" > together. Yes. There just happen to not be any implementations that have this property at the moment.