| Wed, 23 Nov 2011 07:00:01 +0100 | huffman | remove outdated comment | changeset | files |
| Mon, 21 Nov 2011 23:29:53 +0100 | wenzelm | NEWS; | changeset | files |
| Mon, 21 Nov 2011 23:04:45 +0100 | wenzelm | simplified read_instantiate -- no longer need to assign values, since rule attributes are now static; | changeset | files |
| Mon, 21 Nov 2011 23:03:31 +0100 | wenzelm | drop vacuous decls; | changeset | files |
| Mon, 21 Nov 2011 21:38:08 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 21 Nov 2011 19:52:50 +0100 | wenzelm | tuned header; | changeset | files |
| Mon, 21 Nov 2011 18:07:13 +0100 | kuncar | misspelled name | changeset | files |