| Wed, 23 Nov 2011 07:44:56 +0100 | nipkow | tuned | changeset | files |
| 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 |
| Sun, 20 Nov 2011 21:28:07 +0100 | wenzelm | eliminated obsolete "standard"; | changeset | files |
| Sun, 20 Nov 2011 21:07:10 +0100 | wenzelm | eliminated obsolete "standard"; | changeset | files |
| Sun, 20 Nov 2011 21:07:06 +0100 | wenzelm | eliminated obsolete "standard"; | changeset | files |
| Sun, 20 Nov 2011 21:05:23 +0100 | wenzelm | eliminated obsolete "standard"; | changeset | files |
| Sun, 20 Nov 2011 20:59:30 +0100 | wenzelm | eliminated obsolete "standard"; | changeset | files |
| Sun, 20 Nov 2011 20:26:13 +0100 | wenzelm | explicit is better than implicit; | changeset | files |