Fri, 08 Oct 1993 14:18:51 +0100 | wenzelm | fixed comment; | changeset | files |
Fri, 08 Oct 1993 14:16:29 +0100 | wenzelm | added parse rule for "<*>"; | changeset | files |
Fri, 08 Oct 1993 14:11:12 +0100 | wenzelm | @List: replaced "args" by "is"; | changeset | files |