Paul Schneider 1c61c5679f a TexString is an HtmlString		9 years ago
..
Directory	implements a directory component	9 years ago
Estimate	a TexString is an HtmlString	9 years ago