| Tue, 10 Jan 2006 19:36:59 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 10 Jan 2006 19:34:04 +0100 | wenzelm | generic attributes; | changeset | files |
| Tue, 10 Jan 2006 19:33:42 +0100 | wenzelm | * ML: generic context, data, attributes; | changeset | files |
| Tue, 10 Jan 2006 19:33:41 +0100 | wenzelm | added context_of -- generic context; | changeset | files |
| Tue, 10 Jan 2006 19:33:39 +0100 | wenzelm | generic attributes; | changeset | files |
| Tue, 10 Jan 2006 19:33:38 +0100 | wenzelm | print rules: generic context; | changeset | files |
| Tue, 10 Jan 2006 19:33:37 +0100 | wenzelm | Specification.pretty_consts ctxt; | changeset | files |
| 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 |