directory /xml/ @ 1776:8f28c3295148

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--