| 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 |