note description: "Eiffel environment for the compile all tool." date: "$Date$" revision: "$Revision$" class CAT_EIFFEL_ENV INHERIT EIFFEL_ENV feature -- Access application_name: STRING = "cat" end