--!-----------------------------------------------------------------------------
--! Plain text filter for EiffelStudio documentation output.
--!-----------------------------------------------------------------------------
--! $Date$
--! $Revision$
--!-----------------------------------------------------------------------------

suffix	|txt

class_declaration	|%T%T%T %-%- Automatic generation produced by ISE Eiffel %-%-%N*%N%T%T%T%
				% %-%-  Generated by ISE Eiffel %-%-%N%T%T%T%
				% %-%-  For more details: http://www.eiffel.com  %-%-%N

--!-----------------------------------------------------------------------------
--! Interactive Software Engineering Inc.
--! ISE Building, 2nd floor
--! 270 Storke Road, Goleta, CA 93117 USA
--! Telephone 805-685-1006, Fax 805-685-6869
--! Electronic mail <info@eiffel.com>
--! Customer support e-mail <support@eiffel.com>
--! For latest info see award-winning pages: http://www.eiffel.com
--!-----------------------------------------------------------------------------