indexing
	description: "Eiffel environment for the compile all tool."
	date: "$Date$"
	revision: "$Revision$"

class
	CAT_EIFFEL_ENV

INHERIT
	EIFFEL_ENV

feature -- Access

	application_name: STRING is "cat"

end