| Thu, 30 Oct 1997 11:19:57 +0100 | wenzelm | fixed try_dest_adm; | file | diff | annotate |
| Sat, 25 Oct 1997 14:43:55 +0200 | oheimb | internalized some names | file | diff | annotate |
| Wed, 03 Sep 1997 16:24:46 +0200 | mueller | new extended adm tactic introduced; | file | diff | annotate |