| 2006-09-22 | wenzelm | added HOL-Complex-ex; | file | diff | annotate |
| 2006-09-20 | wenzelm | added ZF-UNITY; | file | diff | annotate |
| 2006-09-19 | wenzelm | tuned; | file | diff | annotate |
| 2006-09-19 | wenzelm | tuned; | file | diff | annotate |
| 2006-09-19 | wenzelm | simple html output; | file | diff | annotate |
| 2006-09-19 | wenzelm | timespan: 100 days; | file | diff | annotate |
| 2006-09-19 | wenzelm | tuned; | file | diff | annotate |
| 2006-09-19 | wenzelm | Standard statistics. | file | diff | annotate |