class
	SYSTEM_ENCODINGS

General
	cluster: encoding
	description: "Available encodings in the operating system."

Ancestors
	ANY

Queries
	Console_encoding: ENCODING
	Iso_8859_1: ENCODING
	System_encoding: ENCODING
	Utf16: ENCODING
	Utf32: ENCODING
	Utf8: ENCODING

Generated by ISE EiffelStudio