| Mon, 10 Oct 1994 18:09:58 +0100 | nipkow | corrected problems with changed binding power of ::. | changeset | files |
| Mon, 10 Oct 1994 12:57:23 +0100 | nipkow | README file | changeset | files |
| Sat, 08 Oct 1994 13:45:40 +0100 | clasohm | changed precedences of _constrain (i.e. "::") | changeset | files |