]> matita.cs.unibo.it Git - helm.git/tree - helm/mowgli/home/xml/people/
snapshot, notably:
[helm.git] / helm / mowgli / home / xml / people /
drwxr-xr-x   ..
drwxr-xr-x - aei
drwxr-xr-x - bologna
drwxr-xr-x - dfki
-rw-r--r-- 1456 index.xml
drwxr-xr-x - inria
drwxr-xr-x - nijmegen
-rw-r--r-- 891 person.dtd
drwxr-xr-x - trusted-logic