| Thu, 20 Aug 2009 22:30:20 +0200 | Christian Urban | further polishing of index generation | file | diff | annotate |
| Wed, 19 Aug 2009 00:49:40 +0200 | Christian Urban | added exercise | file | diff | annotate |
| Mon, 03 Aug 2009 13:53:04 +0200 | Christian Urban | removed rail; added external aux-files | file | diff | annotate |