zakarya/puzzles
1
0
Fork 0
mirror of git://git.tartarus.org/simon/puzzles.git synced 2025-04-21 08:01:30 -07:00
Code Issues Packages Projects Releases Wiki Activity

Trivial markup fix.

Browse Source 
[originally from svn r9144]
This commit is contained in:
Simon Tatham
2011-04-03 09:16:08 +00:00
parent 9ece2832ce
commit 4594df97a9
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
devel.but
View File

@ -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