| Tue, 10 Jan 2006 19:33:36 +0100 | wenzelm | generic data and attributes; | changeset | files |
| Tue, 10 Jan 2006 19:33:35 +0100 | wenzelm | added rule, declaration; | changeset | files |
| Tue, 10 Jan 2006 19:33:34 +0100 | wenzelm | added generic syntax; | changeset | files |
| Tue, 10 Jan 2006 19:33:33 +0100 | wenzelm | tuned dependencies; | changeset | files |
| Tue, 10 Jan 2006 19:33:32 +0100 | wenzelm | added declaration_attribute; | changeset | files |
| Tue, 10 Jan 2006 19:33:31 +0100 | wenzelm | support for generic contexts with data; | changeset | files |
| Tue, 10 Jan 2006 19:33:30 +0100 | wenzelm | fix_tac: no warning; | changeset | files |