2003-06-30  Marco Kuhlmann  <kuhlmann@ps.uni-sb.de>

	GNUified the source tree
