class
	HTML_TEXT

General
	cluster: web.html
	create: make

Ancestors
	HTML_GENERATOR

Queries
	Bold_end: STRING
	Bold_start: STRING
	Glossary_definition: STRING
	Glossary_end: STRING
	Glossary_start: STRING
	Glossary_term: STRING
	H1_end: STRING
	H1_start: STRING
	H2_end: STRING
	H2_start: STRING
	H3_end: STRING
	H3_start: STRING
	H4_end: STRING
	H4_start: STRING
	H5_end: STRING
	H5_start: STRING
	H6_end: STRING
	H6_start: STRING
	Horizontal_rule: STRING
	Italic_end: STRING
	Italic_start: STRING
	Line_break: STRING
	List_item_end: STRING
	List_item_start: STRING
	Ordered_list_end: STRING
	Ordered_list_start: STRING
	out: STRING
	Paragraph_end: STRING
	Paragraph_start: STRING
	Preformatted_end: STRING
	Preformatted_start: STRING
	Stdout: STDOUT
	Unordered_list_end: STRING
	Unordered_list_start: STRING

Commands
	make
	put_address (s: STRING)
	put_basic (s: STRING)
	put_blink (s: STRING)
	put_bold (text: STRING)
	put_center (s: STRING)
	put_font (s: STRING; n: INTEGER)
	put_glossary_definition
	put_glossary_end
	put_glossary_start
	put_glossary_term (text: STRING)
	put_header1 (title: STRING)
	put_header2 (title: STRING)
	put_header3 (title: STRING)
	put_header4 (title: STRING)
	put_header5 (title: STRING)
	put_header6 (title: STRING)
	put_horizontal_rule
	put_indent (s: STRING)
	put_italic (text: STRING)
	put_line_break
	put_link (url, anchor: STRING)
	put_list_item_end
	put_list_item_start
	put_ordered_list_end
	put_ordered_list_start
	put_paragraph_end
	put_paragraph_start
	put_preformatted (text: STRING)
	put_unordered_list_end
	put_unordered_list_start
	wipe_out