| Mon, 17 May 1999 19:15:35 +0200 | wenzelm | remove_thy; | changeset | files |
| Mon, 17 May 1999 18:00:59 +0200 | wenzelm | tuned arrows; | changeset | files |
| Mon, 17 May 1999 17:20:26 +0200 | berghofe | Arrows are no longer needed because of redesign of the | changeset | files |
| Mon, 17 May 1999 17:18:31 +0200 | berghofe | Changed some file names. | changeset | files |