Fri, 25 Sep 1998 16:21:56 +0200 | oheimb | minor corrections | changeset | files |
Fri, 25 Sep 1998 15:57:23 +0200 | oheimb | exchanged automatic-tactics and semi-automatic-tactics | changeset | files |
Fri, 25 Sep 1998 15:54:29 +0200 | oheimb | improved indentation | changeset | files |