| Thu, 07 Apr 2011 00:25:26 +0100 | Christian Urban | Updated to changes in timing structure | file | diff | annotate |
| Fri, 29 Oct 2010 13:16:45 +0200 | griff | 'nat_number' was renamed to 'eval_nat_numeral' | file | diff | annotate |
| Tue, 13 Oct 2009 22:57:25 +0200 | Christian Urban | tuned the ML-output mechanism; tuned slightly the text | file | diff | annotate |