| Mon, 21 Mar 2011 21:10:29 +0100 | krauss | moved some configurations to AFP, and fixed others | file | diff | annotate |
| Mon, 21 Mar 2011 16:24:52 +0100 | krauss | added judgement day configurations | file | diff | annotate |
| Fri, 04 Mar 2011 11:52:54 +0100 | krauss | produce helpful mira summary for more errors | file | diff | annotate |
| Tue, 18 Jan 2011 09:44:23 +0100 | haftmann | report mutabelle log in mira configuration | file | diff | annotate |
| Fri, 14 Jan 2011 17:20:36 +0100 | haftmann | adjusted mira configuration | file | diff | annotate |
| Fri, 14 Jan 2011 13:59:06 +0100 | haftmann | configuration file for mira | file | diff | annotate |