From 9be9afe2e84d3a12064ea7f27a41006ab9983b21 Mon Sep 17 00:00:00 2001 From: Simon Tatham Date: Sun, 3 Apr 2011 09:16:08 +0000 Subject: [PATCH] Trivial markup fix. git-svn-id: svn://svn.tartarus.org/sgt/puzzles@9144 cda61777-01e9-0310-a592-d414129be87e --- devel.but | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/devel.but b/devel.but index 5e9ff22..9438e0e 100644 --- a/devel.but +++ b/devel.but @@ -1234,8 +1234,8 @@ is currently in a solved state. The mid-end uses this to implement Front ends may wish to use this as a cue to proactively offer the option of starting a new game. Therefore, back ends should consider -returning TRUE in situations where the game is \e{lost} as well as -won, if losing makes it unlikely that the player would play on. +returning \cw{TRUE} in situations where the game is \e{lost} as well +as won, if losing makes it unlikely that the player would play on. (For instance, games with hidden information such as Guess or Mines might well set this flag whenever they reveal the solution, whether or -- 2.11.4.GIT