directory /xml/ @ 1633:deeeb036c8ed

name size permissions
[up] drwxr-xr-x
file parse.sml 3800 -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--