| 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 |
| Mon, 12 Jul 2010 22:07:36 +0200 | wenzelm | removed legacy aliases; | changeset | files |
| Mon, 12 Jul 2010 21:38:37 +0200 | wenzelm | moved misc legacy stuff from OldGoals to Misc_Legacy; | changeset | files |
| Mon, 12 Jul 2010 21:12:18 +0200 | wenzelm | eliminated OldGoals.strip_context; | changeset | files |