Lines Matching refs:html
805 * Need to make sure that HTML tags are not confused with XML tags.
807 * or by handling HTML in the parser. This second option seems neater. Note that
809 * end element tag. Due to the difficulties of converting incorrect HTML
848 * The default source tree may not include the package.html files, so
850 * Need to make sure that HTML tags are not confused with XML tags.
852 * or by handling HTML in the parser. This second option is neater. Note that
854 * end element tag. Due to the difficulties of converting incorrect HTML
885 // Try both ".htm" and ".html"
1035 // Look for a sentence terminated by an HTML tag.
