| Tue, 13 Sep 2011 07:13:49 +0200 | nipkow | fastsimp -> fastforce in doc | file | diff | annotate |
| Tue, 09 Aug 2011 15:41:00 +0200 | wenzelm | updated documentation of method "split" according to e6a4bb832b46; | file | diff | annotate |
| Sat, 11 Jun 2011 16:05:17 +0200 | wenzelm | cover method "deepen" concisely; | file | diff | annotate |