]> matita.cs.unibo.it Git - helm.git/tree - helm/mowgli/home/xml/
moogle.html is now generated, it do not needs to be in CVS
[helm.git] / helm / mowgli / home / xml /
drwxr-xr-x   ..
-rw-r--r-- 493 Makefile
-rw-r--r-- 10071 consortium.xml
drwxr-xr-x - deliverables
-rw-r--r-- 2573 home.xml
-rw-r--r-- 3076 members-index.xml
drwxr-xr-x - members
-rw-r--r-- 4220 menu.xml
-rw-r--r-- 796 mowgli-events.xml
drwxr-xr-x - mowgli-events
-rw-r--r-- 33351 mowgli-xhtml1-transitional.dtd
-rw-r--r-- 3018 news.xml
-rw-r--r-- 10993 other-events.xml
drwxr-xr-x - people
-rw-r--r-- 1804 project.xml
drwxr-xr-x - proposal
drwxr-xr-x - publications
drwxr-xr-x - sites
drwxr-xr-x - slides
drwxr-xr-x - software
drwxr-xr-x - work-packages