| Tue, 08 Apr 2008 20:09:54 +0200 | krauss | added missing file | changeset | files |
| Tue, 08 Apr 2008 19:17:34 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 08 Apr 2008 18:30:40 +0200 | krauss | Generic conversion and tactic "atomize_elim" to convert elimination rules | changeset | files |
| Tue, 08 Apr 2008 15:47:15 +0200 | wenzelm | obsolete; | changeset | files |
| Tue, 08 Apr 2008 15:47:14 +0200 | wenzelm | removed isatool expandshort; | changeset | files |
| Tue, 08 Apr 2008 15:47:12 +0200 | wenzelm | removed obsolete AUTO_BASH feature; | changeset | files |
| Tue, 08 Apr 2008 15:47:10 +0200 | wenzelm | removed obsolete AUTO_PERL feature; | changeset | files |