- Multiple `@restore_undo' opcodes with no intervening `@save_undo'
-will restore earlier and earlier saved states. However, Inform games
-will not do this, so if you want infinite undo, you must enter the
-commands `/undo' and `/redo'. The `/...' commands are part of the
-debugger, so you will need to compile in debugger support to use this
-feature.
+Multiple `@restore_undo' opcodes with no intervening `@save_undo' will
+restore earlier and earlier saved states. However, Inform games will
+not do this, so if you want infinite undo, you must enter the commands
+`/undo' and `/redo'. The `/...' commands are part of the debugger, so
+you will need to compile in debugger support to use this feature.