directory /xml/ @ 1592:1c9f8f06c1d6

name size permissions
[up] drwxr-xr-x
file parse.sml 3808 -rw-r--r--
file xhtml-lat1.ent 11775 -rw-r--r--
file xhtml-special.ent 4131 -rw-r--r--
file xhtml-symbol.ent 13848 -rw-r--r--