User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 13:40, 8 September 2020 (diff | hist) . . (0) . . Niall vs Daniel Sepczuk - Dec 2011 (Fixed diagram syntax.)
- 13:30, 8 September 2020 (diff | hist) . . (0) . . Forcing move (Fixed a diagram.)
- 13:28, 8 September 2020 (diff | hist) . . (+2) . . Fifth row edge templates (Fixed hexboard syntax warnings)
- 13:19, 8 September 2020 (diff | hist) . . (-7) . . Win (Removed obsolete key "border" from <hex> tag.)
- 12:53, 8 September 2020 (diff | hist) . . (-9) . . A1 opening (Fixed <hex> syntax.)
- 20:44, 3 September 2020 (diff | hist) . . (+1,383) . . Theory of ladder escapes (→Characterization of ladder escapes: Finished proof of the first theorem about cascading ladders.)
- 20:17, 3 September 2020 (diff | hist) . . (+3,752) . . Theory of ladder escapes (→Second and fourth row cascading ladders: Started the proof of theorem about cascading ladder escapes.)
- 04:18, 3 September 2020 (diff | hist) . . (+4,402) . . Theory of ladder escapes (→Second and fourth row cascading ladders: Started section on cascading ladders.)
- 03:03, 3 September 2020 (diff | hist) . . (+49) . . Theory of ladder escapes (Added section title for 2nd and 4th row cascading ladders)
- 03:47, 2 September 2020 (diff | hist) . . (-3) . . Theory of ladder escapes (Updated theorem numbers.)
- 03:42, 2 September 2020 (diff | hist) . . (+71) . . Theory of ladder escapes (→Characterization of ladder escapes: Updated Lemma 9a to refer to the proof of Theorem 14a.)
- 03:32, 2 September 2020 (diff | hist) . . (+3,466) . . Theory of ladder escapes (→Characterization of switchbacks: Added theorem 14a: no yielding in 3rd row ladder)
- 02:29, 2 September 2020 (diff | hist) . . (+1,360) . . Theory of ladder escapes (→Characterization of ladder escapes: Added Lemma 9a: no 4th to 5th row jump.)
- 20:27, 1 September 2020 (diff | hist) . . (-790) . . Theory of ladder escapes (→2nd row escapes from 3rd row escapes: Removed a redundant section.)
- 19:42, 1 September 2020 (diff | hist) . . (+668) . . Theory of ladder escapes (→Examples: Added two non-trivial examples of 3-5 escapes.)
- 05:01, 1 September 2020 (diff | hist) . . (+228) . . Theory of ladder escapes (→Examples: Added a remark that there are no examples so far.)
- 04:39, 1 September 2020 (diff | hist) . . (+1,063) . . Theory of ladder escapes (→Third and fifth row parallel ladders: Added 3-5 version of Tom's move)
- 03:19, 1 September 2020 (diff | hist) . . (+109) . . Theory of ladder escapes (→Characterization of ladder escapes: Finished the proof of Theorem 17.)
- 03:11, 1 September 2020 (diff | hist) . . (+663) . . Theory of ladder escapes (→Characterization of ladder escapes: Added one more case (2 to go).)
- 02:58, 1 September 2020 (diff | hist) . . (+178) . . Theory of ladder escapes (→Characterization of ladder escapes: Wording (added one diagram).)
- 02:55, 1 September 2020 (diff | hist) . . (+2,663) . . Theory of ladder escapes (→Characterization of ladder escapes: Added 7 cases to the proof (3 to go))
- 04:00, 31 August 2020 (diff | hist) . . (+1) . . m Theory of ladder escapes (→Characterization of switchbacks: typo)
- 02:53, 31 August 2020 (diff | hist) . . (+3,560) . . Theory of ladder escapes (Added section on 3rd and 5th row parallel ladders (incomplete))
- 01:45, 31 August 2020 (diff | hist) . . (+213) . . Theory of ladder escapes (→Second and fourth row parallel ladders: Updated terminology for 2-4 parallel ladder escapes, to minimize confusion with 2-to-4 switchbacks.)
- 01:34, 31 August 2020 (diff | hist) . . (-4) . . m Theory of ladder escapes (typo)
- 01:18, 31 August 2020 (diff | hist) . . (+5) . . Theory of ladder escapes (→Examples: Verified (and fixed) minimality of 3-to-5 switchback templates.)
- 01:06, 31 August 2020 (diff | hist) . . (+33) . . Theory of ladder escapes (→Examples: Verified the minimality of 2-to-4 examples, and fixed one.)
- 00:28, 31 August 2020 (diff | hist) . . (+16) . . Theory of ladder escapes (Adjusted theorem numbering.)
- 00:22, 31 August 2020 (diff | hist) . . (+1,156) . . Theory of ladder escapes (→Second and fourth row parallel ladders: Added a theorem relating switchbacks and parallel ladder escapes.)
- 23:57, 30 August 2020 (diff | hist) . . (+1) . . m Theory of ladder escapes (→Examples: typo)
- 23:56, 30 August 2020 (diff | hist) . . (+7,966) . . Theory of ladder escapes (→Third-to-fifth row switchbacks: Added section on 3rd-to-5th row switchback templates.)
- 21:04, 30 August 2020 (diff | hist) . . (+170) . . Theory of ladder escapes (Adjusted parallel ladder examples to account for the new section on switchbacks.)
- 20:55, 30 August 2020 (diff | hist) . . (+5,951) . . Theory of ladder escapes (→Second-to-fourth row switchbacks: Added a section on 2nd-to-4th row switchbacks.)
- 19:22, 30 August 2020 (diff | hist) . . (+42) . . Theory of ladder escapes (Added a section header for switchbacks)
- 22:08, 29 August 2020 (diff | hist) . . (+289) . . Theory of ladder escapes (→Examples: Added another example of a 4th row ladder escape)
- 14:35, 29 August 2020 (diff | hist) . . (+110) . . Theory of ladder escapes (→Examples: Added another example of a 4th row ladder escape.)
- 23:50, 27 August 2020 (diff | hist) . . (+261) . . Theory of ladder escapes (→Examples: Added another example of a 4th row ladder escape.)
- 23:38, 27 August 2020 (diff | hist) . . (+105) . . Theory of ladder escapes (→Examples: Added another example of a 2nd row ladder escape.)
- 02:48, 26 August 2020 (diff | hist) . . (-6) . . m Captured cell (→Generous capture: minor wording)
- 20:04, 25 August 2020 (diff | hist) . . (+14) . . Captured cell (Added a link)
- 23:42, 22 August 2020 (diff | hist) . . (+131) . . Theory of ladder escapes (→Examples: Added another example of a 3rd row ladder escape.)
- 23:34, 22 August 2020 (diff | hist) . . (-17) . . Ladder handling (Updated a link.)
- 23:33, 22 August 2020 (diff | hist) . . (-17) . . Parallel ladder (Fixed link)
- 23:32, 22 August 2020 (diff | hist) . . (-13) . . Ladder escape template (Fix link.)
- 23:31, 22 August 2020 (diff | hist) . . (0) . . m Talk:Theory of ladder escapes (Selinger moved page Talk:Proving that a pattern is a ladder escape to Talk:Theory of ladder escapes: The article is no longer just about proving.) (current)
- 23:31, 22 August 2020 (diff | hist) . . (+43) . . N Talk:Proving that a pattern is a ladder escape (Selinger moved page Talk:Proving that a pattern is a ladder escape to Talk:Theory of ladder escapes: The article is no longer just about proving.) (current)
- 23:31, 22 August 2020 (diff | hist) . . (0) . . m Theory of ladder escapes (Selinger moved page Proving that a pattern is a ladder escape to Theory of ladder escapes: The article is no longer just about proving.)
- 23:31, 22 August 2020 (diff | hist) . . (+38) . . N Proving that a pattern is a ladder escape (Selinger moved page Proving that a pattern is a ladder escape to Theory of ladder escapes: The article is no longer just about proving.) (current)
- 04:36, 18 August 2020 (diff | hist) . . (0) . . m Hex theory (→Complexity: typo)
- 04:35, 18 August 2020 (diff | hist) . . (-13) . . m Resigning (→Resigning too early: Wording.)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
