| Sat, 04 Nov 2006 12:53:35 +0100 | wenzelm | optional argument for timespan (default 100); | file | diff | annotate |
| Sat, 04 Nov 2006 12:46:40 +0100 | wenzelm | added at-mac-poly-e, at64-poly-e; | file | diff | annotate |
| Fri, 22 Sep 2006 21:42:12 +0200 | wenzelm | added HOL-Complex-ex; | file | diff | annotate |
| Wed, 20 Sep 2006 21:02:29 +0200 | wenzelm | added ZF-UNITY; | file | diff | annotate |
| Tue, 19 Sep 2006 23:18:41 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 19 Sep 2006 23:12:21 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 19 Sep 2006 23:01:52 +0200 | wenzelm | simple html output; | file | diff | annotate |
| Tue, 19 Sep 2006 22:04:38 +0200 | wenzelm | timespan: 100 days; | file | diff | annotate |
| Tue, 19 Sep 2006 22:00:32 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 19 Sep 2006 21:49:09 +0200 | wenzelm | Standard statistics. | file | diff | annotate |