Forgot to mention that you can undo a Solve operation.

[originally from svn r5734]

diff --git a/puzzles.but b/puzzles.but
index 6d7d11fa6cff1c0d7bdead552df646c7f369aad2..301c6de43c8877c3199e22cb540a283586559cac 100644 (file)
--- a/puzzles.but
+++ b/puzzles.but
@@ -131,6 +131,10 @@ invent the game ID they know what the solution is already. Still
 other games (Pattern) can solve \e{some} external game IDs, but only
 if they aren't too difficult.
 
+The \q{Solve} command adds the solved state to the end of the undo
+chain for the puzzle. In other words, if you want to go back to
+solving it yourself after seeing the answer, you can just press Undo.
+
 }
 
 \dt \I{exit}\ii\e{Quit} (\q{Q}, Ctrl+\q{Q})