NAME="Eiffel Library"
DESCRIPTION="Create a new Eiffel library."
LOCATION="library"
PLATFORM="all"