| Fri, 03 Jul 2009 08:51:34 +0200 | haftmann | restored subscripts | file | diff | annotate |
| Wed, 17 Jun 2009 17:07:17 +0100 | paulson | Polishing the English | file | diff | annotate |
| Tue, 26 May 2009 13:40:49 +0200 | haftmann | clarified benefit of interpretation | file | diff | annotate |