equal
deleted
inserted
replaced
134 nitpick [expect=genuine] |
134 nitpick [expect=genuine] |
135 oops |
135 oops |
136 |
136 |
137 text \<open> |
137 text \<open> |
138 Some ``exceptionally difficult'' Sudokus, taken from |
138 Some ``exceptionally difficult'' Sudokus, taken from |
139 @{url "http://en.wikipedia.org/w/index.php?title=Algorithmics_of_sudoku&oldid=254685903"} |
139 \<^url>\<open>http://en.wikipedia.org/w/index.php?title=Algorithmics_of_sudoku&oldid=254685903\<close> |
140 (accessed December~2, 2008). |
140 (accessed December~2, 2008). |
141 \<close> |
141 \<close> |
142 |
142 |
143 text \<open> |
143 text \<open> |
144 \begin{verbatim} |
144 \begin{verbatim} |