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 |