--!-----------------------------------------------------------------------------
--! HTML filter for EiffelStudio documentation output.
--!-----------------------------------------------------------------------------
--! $Date$
--! $Revision$
--!-----------------------------------------------------------------------------
suffix |html
file_separator |/
class_declaration |%
%%N%
%$html_meta$%
%$title$%N%
%%N%
%Automatic generation produced by ISE Eiffel
%N%
%*
%N%
% -- Generated by ISE Eiffel --
%N%
%For more details: www.eiffel.com
%N%
%%N%
%%N
-- Hyperlinking items:
menu_bar |
menu_item |* |
menu_item_disabled |* |
class_menu_item |* |
class_menu_item_disabled|* |
feature_declaration |*
features |*
cluster_name |*
string_url |*
-- General specifications
keyword |*
comment |*
tab |
class_name |*
quoted |*
-- Meta-characters
escape> |>
escape< |<
escape& |&
--!-----------------------------------------------------------------------------
--! Eiffel Software
--! 356 Storke Road, Goleta, CA 93117 USA
--! Telephone 805-685-1006, Fax 805-685-6869
--! Website http://www.eiffel.com
--! Customer support http://support.eiffel.com
--!-----------------------------------------------------------------------------