Sat, 11 Jun 2011 16:05:17 +0200 | wenzelm | cover method "deepen" concisely; | file | diff | annotate |
Sat, 11 Jun 2011 15:36:46 +0200 | wenzelm | moved/updated single-step tactics; | file | diff | annotate |
Sat, 11 Jun 2011 15:03:31 +0200 | wenzelm | tuned sections; | file | diff | annotate |