| Wed, 31 Jan 1996 17:15:03 +0100 | nipkow | right-hard -> right-hand | file | diff | annotate |
| Wed, 31 Jan 1996 15:02:26 +0100 | nipkow | Typo | file | diff | annotate |
| Thu, 07 Dec 1995 14:24:32 +0100 | clasohm | removed quotes from syntax and consts sections | file | diff | annotate |