[Stefan Reichör]

> To summarize the bindings:
> ?u  => unmark
> ?U  => update
> ?R  => revert

Wouldn't using R for revert be likely to cause confusion, as the
opposite command of "tla undo" is "tla redo"?
-- 
Harald

Reply via email to