| Tue, 23 Jul 2013 09:06:34 +0200 | Christian Urban | new verison of the slides | file | diff | annotate | 
| Mon, 22 Apr 2013 08:26:16 +0100 | Christian Urban | updated and small modification | file | diff | annotate | 
| Fri, 15 Feb 2013 14:07:39 +0000 | Christian Urban | tuning | file | diff | annotate | 
| Fri, 15 Feb 2013 14:05:26 +0000 | Christian Urban | split Mopup TM into a separate file | file | diff | annotate | 
| Sun, 10 Feb 2013 19:49:07 +0000 | Christian Urban | changed theory names to uppercase | file | diff | annotate | 
| Wed, 06 Feb 2013 02:42:52 +0000 | Christian Urban | added readme | file | diff | annotate |