next | previous | forward | backward | up | top | index | toc | home

HTML -- hypertext item

Synopsis

Description

i1 : HTML { HEAD { TITLE "foo" }, BODY { "Hi there" } }

o1 = Hi there

o1 : HTML
i2 : html oo

o2 = <?xml version="1.0" encoding="us-ascii" ?>
     <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN"   "http://www.w3.org/Math/DTD/mathml2/xhtml-math11-f.dtd" >
     <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
     <head><title>foo</title>
     </head>
     <body>Hi there</body>
     </html>

See also

For the programmer

The object HTML is a mark-up type, with ancestor classes Hypertext < BasicList < Thing.