Forgot to delete receive_adversary_play
Managing winner and loser in a sudoku game. Added feature for making non-editable the board
Merge branch 'master' of https://github.com/nmaguirre/eiffel-sudoku