[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
[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