ref: 58eb0551d46679036293a10f5a1e508c3ef467ef
parent: 0e197efe44db0371dcba395be41fe772dac02b01
author: Jacob Nevins <jacobn@chiark.greenend.org.uk>
date: Tue May 17 14:04:12 EDT 2005
Update doc for recent changes in Restart behaviour. [originally from svn r5799]
--- a/puzzles.but
+++ b/puzzles.but
@@ -90,18 +90,18 @@
\dd Starts a new game, with a random initial state.
-\dt \ii\e{Restart game} (\q{R})
+\dt \ii\e{Restart game}
-\dd Resets the current game to its initial state. Undo is lost.
+\dd Resets the current game to its initial state. (This can be undone.)
\dt \ii\e{Undo} (\q{U}, Ctrl+\q{Z}, Ctrl+\q{_})
\dd Undoes a single move. (You can undo moves back to the start of the
-game.)
+session.)
-\dt \ii\e{Redo} (Ctrl+\q{R})
+\dt \ii\e{Redo} (\q{R}, Ctrl+\q{R})
-\dd Redoes a previous undone move.
+\dd Redoes a previously undone move.
\dt \ii\e{Copy}