indexing
	description	: "Constants for the names of ISE product line."
	date		: "$Date$"
	revision	: "$Revision$"

class PRODUCT_NAMES
	
feature -- Product name

	Workbench_name: STRING is "EiffelStudio"

end -- class PRODUCT_NAMES