| Thu, 12 Mar 2009 18:39:10 +0000 | Christian Urban | used latex package boxedminipage | file | diff | annotate |
| Thu, 12 Mar 2009 15:43:22 +0000 | Christian Urban | improved the solution for the simproc/conversion exercise | file | diff | annotate |
| Thu, 12 Mar 2009 14:25:35 +0000 | Christian Urban | simplified antiquotations | file | diff | annotate |
| Wed, 11 Mar 2009 22:34:49 +0000 | Christian Urban | polished somewhat the recipes and solutions | file | diff | annotate |
| Wed, 11 Mar 2009 17:38:17 +0000 | Christian Urban | added temporarily some timing test about conversions and simprocs | file | diff | annotate |
| Wed, 11 Mar 2009 01:43:28 +0000 | Christian Urban | partially adapted to new antiquotation infrastructure | file | diff | annotate |
| Tue, 10 Mar 2009 13:20:46 +0000 | Christian Urban | more work on simple_inductive | file | diff | annotate |