Index of /pub/developement

	Name	Last modified	Size	Description

	Parent Directory		-
	sepp-20000403.12.tar.Z	03-Apr-2000 12:33	372K
	sepp-20000404.10.tar.Z	04-Apr-2000 10:06	372K
	sepp-20000405.17.tar.Z	05-Apr-2000 17:57	374K

Apache/2.2.22 (Unix) Server at www.sepp.ee.ethz.ch Port 80