Brederlow <goswin.brederlow@student.uni-tuebingen.de> writes: > I will try to remember to bring in the patch and stuff it onto > > ftp://rut.informatik.uni-tuebingen.de/ Actually it will be ftp://mirjam.informatik.uni-tuebingen.de/pub/alpha/ I just can't get used to the new name :) Sorry. May the Source be with you. Goswin