| Mon, 12 Jul 2010 22:35:41 +0200 | wenzelm | removed unused/untested IOA 'automaton' package; | changeset | files |
| Mon, 12 Jul 2010 22:17:31 +0200 | wenzelm | removed impractical tolerate_legacy_features flag; | changeset | files |
| Mon, 12 Jul 2010 22:14:11 +0200 | wenzelm | tuned comment; | changeset | files |