HtmlFile("COPYRIGHT")
HtmlFile("acks")
HtmlFile("algorithm")
HtmlFile("basic")
HtmlFile("float")
HtmlFile("intro")
HtmlFile("io")
HtmlFile("os")
HtmlFile("realfloat")
HtmlFile("references")
HtmlFile("runtime")
HtmlFile("standard")
HtmlFile("structure")
HtmlFile("useful")
HtmlInterface("Bundle")
HtmlInterface("FloatMode")

