indexing
	description: "Required implementation for help engine"
	date: "$Date$"
	revision: "$Revision$"

class
	EIFFEL_ENV

inherit
	WIZARD_EXECUTION_ENVIRONMENT
		
end