plan 9: an interrupted or failed undo can be finished

1 files changed, 6 insertions, 1 deletions

diff --git a/man/krino.1 b/man/krino.1
index e7d93eb..c0bba9d 100644
--- a/man/krino.1
+++ b/man/krino.1
@@ -208,7 +208,9 @@ Reverse
 .Ar run .
 With no
 .Ar run ,
-reverse the most recent run; if that run is itself an undo, it is refused.
+reverse the most recent run; if that run is itself an undo, continue it:
+the run it undid is planned again, offering only the reversals it did not
+complete.
 An older run is undone by naming it.
 See
 .Sx UNDO .
@@ -311,6 +313,9 @@ and
 An undo run cannot itself be undone: naming it to
 .Ic undo
 is refused.
+Reversals an earlier undo of the same run completed are never offered
+again, so an undo that stopped part way is finished by undoing the run
+once more.
 .Pp
 A step's reversal is refused when the world has moved on since the step ran
 .Pq its target is gone or has changed, or the original path is occupied again ;