| Wed, 11 Mar 2009 17:38:17 +0000 | Christian Urban | added temporarily some timing test about conversions and simprocs | file | diff | annotate |
| Wed, 04 Mar 2009 13:15:29 +0000 | Christian Urban | added more to the simplifier section | file | diff | annotate |
| Mon, 02 Mar 2009 10:06:06 +0000 | Christian Urban | tuned | file | diff | annotate |
| Sun, 01 Mar 2009 21:48:59 +0000 | Christian Urban | updated to repository version; added a section about timing | file | diff | annotate |