From 9a9c95ebabbb1d4d7dce627ed1baea130ea98766 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 2 Feb 2006 18:49:29 +0000 Subject: [PATCH] (dis)organized web stuff --- .../daemons}/on-line/html/cic/control.html | 0 .../daemons}/on-line/html/cic/index.html | 0 .../daemons}/on-line/html/configuration.html | 0 .../daemons}/on-line/html/folder/control.html | 0 .../daemons}/on-line/html/folder/index.html | 0 .../daemons}/on-line/html/theory/control.html | 0 .../daemons}/on-line/html/theory/index.html | 0 .../{ => software/daemons}/on-line/icons/folder.png | Bin .../{ => software/daemons}/on-line/icons/object.png | Bin .../{ => software/daemons}/on-line/icons/theory.png | Bin .../daemons}/on-line/javascript/.cvsignore | 0 .../daemons}/on-line/javascript/Makefile | 0 .../daemons}/on-line/javascript/helmjsmenu.js | 0 .../daemons}/on-line/javascript/prelude.js | 0 .../daemons}/on-line/xslt/getParam.xsl | 0 .../daemons}/on-line/xslt/ls2theory.xsl | 0 .../daemons}/on-line/xslt/makeGraphLinks.xsl | 0 .../daemons}/on-line/xslt/metadataControl.xsl | 0 .../daemons}/on-line/xslt/resolve_topurl.xsl | 0 helm/{ => software/daemons}/on-line/xslt/search.xsl | 0 .../daemons}/on-line/xslt/substKey.xsl | 0 .../daemons}/on-line/xslt/toplevel_header.xsl | 0 helm/{ => software/daemons}/on-line/xslt/utils.xsl | 0 .../daemons}/on-line/xslt/xslt_index.txt | 0 .../daemons}/scripts/init.d/daemon_respawner.sh | 0 .../daemons}/scripts/init.d/etc_default_helm | 0 helm/{ => software/daemons}/scripts/init.d/helm | 0 .../daemons}/scripts/init.d/helm-bootmisc.sh | 0 .../daemons}/scripts/init.d/helm-draw-graph | 0 .../daemons}/scripts/init.d/helm-http-getter | 0 .../daemons}/scripts/init.d/helm-proof-checker | 0 .../daemons}/scripts/init.d/helm-rdfly | 0 .../daemons}/scripts/init.d/helm-search-engine | 0 .../daemons}/scripts/init.d/helm-uri-set-queue | 0 .../daemons}/scripts/init.d/helm-uwobo | 0 .../daemons}/scripts/init.d/helm-uwobo-stylesheets | 0 .../scripts/init.d/loadPredefinedStylesheets.pl | 0 helm/{matita_homepage => www/matita}/.htaccess | 0 helm/{matita_homepage => www/matita}/Makefile | 0 helm/{matita_homepage => www/matita}/bg.png | Bin helm/{matita_homepage => www/matita}/community.html | 0 .../{matita_homepage => www/matita}/developers.html | 0 .../matita}/documentation.html | 0 helm/{matita_homepage => www/matita}/download.html | 0 helm/{matita_homepage => www/matita}/index.html | 0 helm/{matita_homepage => www/matita}/matita.html | 0 helm/{matita_homepage => www/matita}/matita.png | Bin helm/{matita_homepage => www/matita}/matita.xcf | Bin helm/{ => www}/mowgli/home/htaccess | 0 helm/{ => www}/mowgli/home/html/.cvsignore | 0 helm/{ => www}/mowgli/home/html/Makefile | 0 .../home/html/deliverables/distribution/.cvsignore | 0 .../.cvsignore | 0 .../home/html/deliverables/interfaces/.cvsignore | 0 .../home/html/deliverables/metadata/.cvsignore | 0 .../html/deliverables/project-management/.cvsignore | 0 .../deliverables/requirement-analysis/.cvsignore | 0 .../deliverables/testing-and-validation/.cvsignore | 0 .../html/deliverables/transformation/.cvsignore | 0 helm/{ => www}/mowgli/home/html/members/.cvsignore | 0 .../mowgli/home/html/mowgli-events/.cvsignore | 0 .../mowgli/home/html/people/aei/.cvsignore | 0 .../mowgli/home/html/people/bologna/.cvsignore | 0 .../mowgli/home/html/people/dfki/.cvsignore | 0 .../mowgli/home/html/people/inria/.cvsignore | 0 .../mowgli/home/html/people/nijmegen/.cvsignore | 0 .../home/html/people/trusted-logic/.cvsignore | 0 helm/{ => www}/mowgli/home/html/proposal/.cvsignore | 0 .../mowgli/home/html/publications/.cvsignore | 0 .../mowgli/home/html/publications/mowgli/.cvsignore | 0 .../mowgli/home/html/publications/others/.cvsignore | 0 helm/{ => www}/mowgli/home/html/sites/.cvsignore | 0 helm/{ => www}/mowgli/home/html/slides/.cvsignore | 0 helm/{ => www}/mowgli/home/html/software/.cvsignore | 0 .../mowgli/home/html/work-packages/.cvsignore | 0 helm/{ => www}/mowgli/home/images/NextArrow.gif | Bin helm/{ => www}/mowgli/home/images/PreviousArrow.gif | Bin helm/{ => www}/mowgli/home/images/arch.png | Bin helm/{ => www}/mowgli/home/images/gantt_new.png | Bin helm/{ => www}/mowgli/home/images/istbutton.gif | Bin .../mowgli/home/images/istbutton_small.gif | Bin helm/{ => www}/mowgli/home/images/istdrop.gif | Bin helm/{ => www}/mowgli/home/images/logo.png | Bin helm/{ => www}/mowgli/home/images/mowgli_combo.gif | Bin helm/{ => www}/mowgli/home/images/mowgli_combo.png | Bin .../{ => www}/mowgli/home/images/mowgli_parquet.png | Bin .../mowgli/home/images/mowgli_parquet_light.png | Bin helm/{ => www}/mowgli/home/images/pert_new.png | Bin .../home/misc/contract/MOWGLIfinal-for-ceto.zip | Bin .../home/misc/contract/RTD-annex2-rtd-final.pdf | Bin .../home/misc/contract/RTD-annex3-ist-fet.pdf | Bin .../home/misc/contract/RTD-audit-cert-annex4.pdf | Bin .../mowgli/home/misc/contract/mowgli-an1-final.pdf | Bin .../mowgli/home/misc/contract/mowgli-ctr-final.pdf | Bin .../mowgli/home/misc/kick-off/AIP_Intro.ppt | Bin .../{ => www}/mowgli/home/misc/kick-off/KM2002GO.ps | 0 .../mowgli/home/misc/kick-off/KM2002GO_mathweb.ps | 0 .../mowgli/home/misc/kick-off/MoWGLI-LogiCal.ps | 0 helm/{ => www}/mowgli/home/misc/kick-off/lemme2.ppt | Bin helm/{ => www}/mowgli/home/misc/proposal/MOWGLI.xls | Bin helm/{ => www}/mowgli/home/misc/proposal/mowgli.pdf | Bin helm/{ => www}/mowgli/home/misc/proposal/mowgli.ps | 0 .../mowgli/home/misc/proposal/proposal.tgz | Bin helm/{ => www}/mowgli/home/style/mowgli.css | 0 helm/{ => www}/mowgli/home/templates/index.html | 0 .../mowgli/home/templates/ml-help-example.txt | 0 helm/{ => www}/mowgli/home/xml/Makefile | 0 helm/{ => www}/mowgli/home/xml/consortium.xml | 0 .../mowgli/home/xml/deliverables/deliverable.dtd | 0 .../home/xml/deliverables/distribution/d5a.xml | 0 .../home/xml/deliverables/distribution/d5b.xml | 0 .../d7a.xml | 0 .../d7b.xml | 0 .../mowgli/home/xml/deliverables/interfaces/d4a.xml | 0 .../mowgli/home/xml/deliverables/interfaces/d4b.xml | 0 .../mowgli/home/xml/deliverables/interfaces/d4c.xml | 0 .../mowgli/home/xml/deliverables/interfaces/d4d.xml | 0 .../mowgli/home/xml/deliverables/interfaces/d4e.xml | 0 .../mowgli/home/xml/deliverables/metadata/d3a.xml | 0 .../mowgli/home/xml/deliverables/metadata/d3b.xml | 0 .../xml/deliverables/project-management/d0a.xml | 0 .../xml/deliverables/project-management/d0b.xml | 0 .../xml/deliverables/project-management/d0c.xml | 0 .../xml/deliverables/project-management/d0d.xml | 0 .../xml/deliverables/requirement-analysis/d1a.xml | 0 .../xml/deliverables/requirement-analysis/d1b.xml | 0 .../xml/deliverables/requirement-analysis/d1c.xml | 0 .../xml/deliverables/testing-and-validation/d6a.xml | 0 .../xml/deliverables/testing-and-validation/d6b.xml | 0 .../xml/deliverables/testing-and-validation/d6c.xml | 0 .../xml/deliverables/testing-and-validation/d6d.xml | 0 .../home/xml/deliverables/transformation/d2a.xml | 0 .../home/xml/deliverables/transformation/d2b.xml | 0 .../home/xml/deliverables/transformation/d2c.xml | 0 .../home/xml/deliverables/transformation/d2d.xml | 0 .../home/xml/deliverables/transformation/d2e.xml | 0 .../home/xml/deliverables/transformation/d2f.xml | 0 .../home/xml/deliverables/transformation/d2g.xml | 0 helm/{ => www}/mowgli/home/xml/home.xml | 0 helm/{ => www}/mowgli/home/xml/members-index.xml | 0 helm/{ => www}/mowgli/home/xml/members/kick-off.xml | 0 helm/{ => www}/mowgli/home/xml/menu.xml | 0 helm/{ => www}/mowgli/home/xml/mowgli-events.xml | 0 .../mowgli/home/xml/mowgli-events/kick-off.xml | 0 .../mowgli/home/xml/mowgli-xhtml1-transitional.dtd | 0 helm/{ => www}/mowgli/home/xml/news.xml | 0 helm/{ => www}/mowgli/home/xml/other-events.xml | 0 .../{ => www}/mowgli/home/xml/people/aei/kelley.xml | 0 .../mowgli/home/xml/people/aei/pollney.xml | 0 .../{ => www}/mowgli/home/xml/people/aei/schutz.xml | 0 .../{ => www}/mowgli/home/xml/people/aei/velden.xml | 0 .../{ => www}/mowgli/home/xml/people/aei/wegner.xml | 0 .../{ => www}/mowgli/home/xml/people/aei/weyher.xml | 0 .../mowgli/home/xml/people/bologna/asperti.xml | 0 .../mowgli/home/xml/people/bologna/guidi.xml | 0 .../mowgli/home/xml/people/bologna/padovani.xml | 0 .../mowgli/home/xml/people/bologna/sacerdoti.xml | 0 .../mowgli/home/xml/people/bologna/schena.xml | 0 .../mowgli/home/xml/people/dfki/goguadze.xml | 0 .../mowgli/home/xml/people/dfki/kohlhase.xml | 0 .../mowgli/home/xml/people/dfki/libbrecht.xml | 0 .../{ => www}/mowgli/home/xml/people/dfki/melis.xml | 0 .../mowgli/home/xml/people/dfki/moschner.xml | 0 .../mowgli/home/xml/people/dfki/siekmann.xml | 0 helm/{ => www}/mowgli/home/xml/people/index.xml | 0 .../mowgli/home/xml/people/inria/amerkad.xml | 0 .../mowgli/home/xml/people/inria/bertot.xml | 0 .../mowgli/home/xml/people/inria/chicli.xml | 0 .../mowgli/home/xml/people/inria/delahaye.xml | 0 .../mowgli/home/xml/people/inria/herbelin.xml | 0 .../mowgli/home/xml/people/inria/naciri.xml | 0 .../mowgli/home/xml/people/inria/pottier.xml | 0 .../mowgli/home/xml/people/inria/rideau.xml | 0 .../mowgli/home/xml/people/inria/thery.xml | 0 .../mowgli/home/xml/people/inria/werner.xml | 0 .../mowgli/home/xml/people/nijmegen/barendregt.xml | 0 .../mowgli/home/xml/people/nijmegen/barreiro.xml | 0 .../mowgli/home/xml/people/nijmegen/cohen.xml | 0 .../mowgli/home/xml/people/nijmegen/cruz-filipe.xml | 0 .../mowgli/home/xml/people/nijmegen/geuvers.xml | 0 .../mowgli/home/xml/people/nijmegen/niqui.xml | 0 .../mowgli/home/xml/people/nijmegen/stein.xml | 0 .../mowgli/home/xml/people/nijmegen/synek.xml | 0 .../mowgli/home/xml/people/nijmegen/wiedijk.xml | 0 helm/{ => www}/mowgli/home/xml/people/person.dtd | 0 .../home/xml/people/trusted-logic/bolignano.xml | 0 .../home/xml/people/trusted-logic/gimenez.xml | 0 .../home/xml/people/trusted-logic/loiseaux.xml | 0 helm/{ => www}/mowgli/home/xml/project.xml | 0 .../mowgli/home/xml/proposal/EC-contribution.xml | 0 .../mowgli/home/xml/proposal/contribution.xml | 0 .../xml/proposal/econ-scient-tech-prospects.xml | 0 .../mowgli/home/xml/proposal/innovation.xml | 0 .../mowgli/home/xml/proposal/project-components.xml | 0 .../mowgli/home/xml/proposal/project-management.xml | 0 .../mowgli/home/xml/proposal/project-objectives.xml | 0 .../mowgli/home/xml/proposal/project-planning.xml | 0 .../mowgli/home/xml/proposal/project-summary.xml | 0 .../mowgli/home/xml/publications/index.xml | 0 .../home/xml/publications/mowgli/crimea2002_aw.xml | 0 .../publications/mowgli/crimea2002_aw_on_line.xml | 0 .../home/xml/publications/others/category_al.xml | 0 .../mowgli/home/xml/publications/others/cc.xml | 0 .../xml/publications/others/crimea2001_apss.xml | 0 .../home/xml/publications/others/cup_hp91.xml | 0 .../home/xml/publications/others/cup_hp93.xml | 0 .../mowgli/home/xml/publications/others/cup_s.xml | 0 .../mowgli/home/xml/publications/others/cup_s2.xml | 0 .../xml/publications/others/extreme2001_apss.xml | 0 .../mowgli/home/xml/publications/others/har_bg.xml | 0 .../mowgli/home/xml/publications/others/jep_ws.xml | 0 .../home/xml/publications/others/jep_wwsw.xml | 0 .../home/xml/publications/others/jlp2001_scg.xml | 0 .../xml/publications/others/mathml2000_apss.xml | 0 .../mowgli/home/xml/publications/others/mscs_gb.xml | 0 .../home/xml/publications/others/publication.dtd | 0 .../home/xml/publications/others/tcs2001_og.xml | 0 .../home/xml/publications/others/tphols2000_gwz.xml | 0 .../xml/publications/others/tphols2001_apss.xml | 0 .../home/xml/publications/others/w3c_bl98.xml | 0 helm/{ => www}/mowgli/home/xml/sites/aei.xml | 0 helm/{ => www}/mowgli/home/xml/sites/bologna.xml | 0 helm/{ => www}/mowgli/home/xml/sites/dfki.xml | 0 helm/{ => www}/mowgli/home/xml/sites/inria.xml | 0 helm/{ => www}/mowgli/home/xml/sites/nijmegen.xml | 0 helm/{ => www}/mowgli/home/xml/sites/site.dtd | 0 .../mowgli/home/xml/sites/trusted-logic.xml | 0 .../mowgli/home/xml/slides/mowgligroup.xml | 0 helm/{ => www}/mowgli/home/xml/software/index.xml | 0 .../mowgli/home/xml/work-packages/distribution.xml | 0 .../mowgli/home/xml/work-packages/index.xml | 0 .../information-dissemination-and-exploitation.xml | 0 .../mowgli/home/xml/work-packages/interfaces.xml | 0 .../mowgli/home/xml/work-packages/metadata.xml | 0 .../home/xml/work-packages/project-management.xml | 0 .../home/xml/work-packages/requirement-analysis.xml | 0 .../xml/work-packages/testing-and-validation.xml | 0 .../home/xml/work-packages/transformation.xml | 0 .../mowgli/home/xml/work-packages/work-package.dtd | 0 .../mowgli/home/xsl/approaching-deadlines.xsl | 0 helm/{ => www}/mowgli/home/xsl/common.xsl | 0 helm/{ => www}/mowgli/home/xsl/consortium.xsl | 0 helm/{ => www}/mowgli/home/xsl/deadlines.xsl | 0 helm/{ => www}/mowgli/home/xsl/deliverable.xsl | 0 helm/{ => www}/mowgli/home/xsl/events.xsl | 0 helm/{ => www}/mowgli/home/xsl/latest-news.xsl | 0 helm/{ => www}/mowgli/home/xsl/management.xsl | 0 helm/{ => www}/mowgli/home/xsl/minutes.xsl | 0 helm/{ => www}/mowgli/home/xsl/news.xsl | 0 helm/{ => www}/mowgli/home/xsl/people-list.xsl | 0 helm/{ => www}/mowgli/home/xsl/person.xsl | 0 helm/{ => www}/mowgli/home/xsl/project.xsl | 0 helm/{ => www}/mowgli/home/xsl/publication.xsl | 0 .../mowgli/home/xsl/publications-index.xsl | 0 helm/{ => www}/mowgli/home/xsl/site.xsl | 0 helm/{ => www}/mowgli/home/xsl/work-package.xsl | 0 .../mowgli/home/xsl/work-packages_index.xsl | 0 helm/{ => www}/mowgli/home/xsl/xhtml-content.xsl | 0 helm/{ => xml}/dtd/annotations.dtd | 0 helm/{ => xml}/dtd/backward.dtd | 0 helm/{ => xml}/dtd/cic.dtd | 0 helm/{ => xml}/dtd/cicobject.dtd | 0 helm/{ => xml}/dtd/cictypes.dtd | 0 helm/{ => xml}/dtd/forward.dtd | 0 helm/{ => xml}/dtd/isoamsa.ent | 0 helm/{ => xml}/dtd/isoamsb.ent | 0 helm/{ => xml}/dtd/isoamsc.ent | 0 helm/{ => xml}/dtd/isoamsn.ent | 0 helm/{ => xml}/dtd/isoamso.ent | 0 helm/{ => xml}/dtd/isoamsr.ent | 0 helm/{ => xml}/dtd/isobox.ent | 0 helm/{ => xml}/dtd/isocyr1.ent | 0 helm/{ => xml}/dtd/isocyr2.ent | 0 helm/{ => xml}/dtd/isodia.ent | 0 helm/{ => xml}/dtd/isogrk3.ent | 0 helm/{ => xml}/dtd/isolat1.ent | 0 helm/{ => xml}/dtd/isolat2.ent | 0 helm/{ => xml}/dtd/isomfrk.ent | 0 helm/{ => xml}/dtd/isomopf.ent | 0 helm/{ => xml}/dtd/isomscr.ent | 0 helm/{ => xml}/dtd/isonum.ent | 0 helm/{ => xml}/dtd/isopub.ent | 0 helm/{ => xml}/dtd/isotech.ent | 0 helm/{ => xml}/dtd/ls.dtd | 0 helm/{ => xml}/dtd/mathml2-qname-1.mod | 0 helm/{ => xml}/dtd/mathml2.dtd | 0 helm/{ => xml}/dtd/maththeory.dtd | 0 helm/{ => xml}/dtd/mmlalias.ent | 0 helm/{ => xml}/dtd/mmlextra.ent | 0 helm/{ => xml}/dtd/theoryobject.dtd | 0 helm/{ => xml}/dtd/xhtml-lat1.ent | 0 helm/{ => xml}/dtd/xhtml-special.ent | 0 helm/{ => xml}/dtd/xhtml-symbol.ent | 0 helm/{ => xml}/nuprl_stylesheets/nuprl_abstract.xsl | 0 .../nuprl_stylesheets/nuprl_annotatedpres.xsl | 0 .../nuprl_stylesheets/nuprl_content_to_html2.xsl | 0 helm/{ => xml}/nuprl_stylesheets/nuprl_expand.xsl | 0 .../nuprl_stylesheets/nuprl_html_arith.xsl | 0 .../nuprl_stylesheets/nuprl_html_basic.xsl | 0 helm/{ => xml}/nuprl_stylesheets/nuprl_link.xsl | 0 .../nuprl_stylesheets/nuprl_links_library.xsl | 0 .../nuprl_stylesheets/nuprl_mmlextension.xsl | 0 helm/{ => xml}/nuprl_stylesheets/nuprl_proof.xsl | 0 helm/{ => xml}/nuprl_stylesheets/nuprl_rules.xsl | 0 helm/{ => xml}/nuprl_stylesheets/nuprl_term.xsl | 0 helm/{ => xml}/nuprl_stylesheets/nuprl_tree.xsl | 0 helm/{ => xml}/nuprl_stylesheets/xslt_index.txt | 0 helm/{ => xml}/schemas/13-dcagent | 0 helm/{ => xml}/schemas/21-euler | 0 helm/{ => xml}/schemas/dces | 0 helm/{ => xml}/schemas/dcq | 0 helm/{ => xml}/schemas/dctype | 0 helm/{ => xml}/schemas/schema-h | 0 helm/{ => xml}/schemas/schema-hth | 0 314 files changed, 0 insertions(+), 0 deletions(-) rename helm/{ => software/daemons}/on-line/html/cic/control.html (100%) rename helm/{ => software/daemons}/on-line/html/cic/index.html (100%) rename helm/{ => software/daemons}/on-line/html/configuration.html (100%) rename helm/{ => software/daemons}/on-line/html/folder/control.html (100%) rename helm/{ => software/daemons}/on-line/html/folder/index.html (100%) rename helm/{ => software/daemons}/on-line/html/theory/control.html (100%) rename helm/{ => software/daemons}/on-line/html/theory/index.html (100%) rename helm/{ => software/daemons}/on-line/icons/folder.png (100%) rename helm/{ => software/daemons}/on-line/icons/object.png (100%) rename helm/{ => software/daemons}/on-line/icons/theory.png (100%) rename helm/{ => software/daemons}/on-line/javascript/.cvsignore (100%) rename helm/{ => software/daemons}/on-line/javascript/Makefile (100%) rename helm/{ => software/daemons}/on-line/javascript/helmjsmenu.js (100%) rename helm/{ => software/daemons}/on-line/javascript/prelude.js (100%) rename helm/{ => software/daemons}/on-line/xslt/getParam.xsl (100%) rename helm/{ => software/daemons}/on-line/xslt/ls2theory.xsl (100%) rename helm/{ => software/daemons}/on-line/xslt/makeGraphLinks.xsl (100%) rename helm/{ => software/daemons}/on-line/xslt/metadataControl.xsl (100%) rename helm/{ => software/daemons}/on-line/xslt/resolve_topurl.xsl (100%) rename helm/{ => software/daemons}/on-line/xslt/search.xsl (100%) rename helm/{ => software/daemons}/on-line/xslt/substKey.xsl (100%) rename helm/{ => software/daemons}/on-line/xslt/toplevel_header.xsl (100%) rename helm/{ => software/daemons}/on-line/xslt/utils.xsl (100%) rename helm/{ => software/daemons}/on-line/xslt/xslt_index.txt (100%) rename helm/{ => software/daemons}/scripts/init.d/daemon_respawner.sh (100%) rename helm/{ => software/daemons}/scripts/init.d/etc_default_helm (100%) rename helm/{ => software/daemons}/scripts/init.d/helm (100%) rename helm/{ => software/daemons}/scripts/init.d/helm-bootmisc.sh (100%) rename helm/{ => software/daemons}/scripts/init.d/helm-draw-graph (100%) rename helm/{ => software/daemons}/scripts/init.d/helm-http-getter (100%) rename helm/{ => software/daemons}/scripts/init.d/helm-proof-checker (100%) rename helm/{ => software/daemons}/scripts/init.d/helm-rdfly (100%) rename helm/{ => software/daemons}/scripts/init.d/helm-search-engine (100%) rename helm/{ => software/daemons}/scripts/init.d/helm-uri-set-queue (100%) rename helm/{ => software/daemons}/scripts/init.d/helm-uwobo (100%) rename helm/{ => software/daemons}/scripts/init.d/helm-uwobo-stylesheets (100%) rename helm/{ => software/daemons}/scripts/init.d/loadPredefinedStylesheets.pl (100%) rename helm/{matita_homepage => www/matita}/.htaccess (100%) rename helm/{matita_homepage => www/matita}/Makefile (100%) rename helm/{matita_homepage => www/matita}/bg.png (100%) rename helm/{matita_homepage => www/matita}/community.html (100%) rename helm/{matita_homepage => www/matita}/developers.html (100%) rename helm/{matita_homepage => www/matita}/documentation.html (100%) rename helm/{matita_homepage => www/matita}/download.html (100%) rename helm/{matita_homepage => www/matita}/index.html (100%) rename helm/{matita_homepage => www/matita}/matita.html (100%) rename helm/{matita_homepage => www/matita}/matita.png (100%) rename helm/{matita_homepage => www/matita}/matita.xcf (100%) rename helm/{ => www}/mowgli/home/htaccess (100%) rename helm/{ => www}/mowgli/home/html/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/Makefile (100%) rename helm/{ => www}/mowgli/home/html/deliverables/distribution/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/deliverables/information-dissemination-and-exploitation/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/deliverables/interfaces/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/deliverables/metadata/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/deliverables/project-management/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/deliverables/requirement-analysis/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/deliverables/testing-and-validation/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/deliverables/transformation/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/members/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/mowgli-events/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/people/aei/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/people/bologna/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/people/dfki/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/people/inria/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/people/nijmegen/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/people/trusted-logic/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/proposal/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/publications/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/publications/mowgli/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/publications/others/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/sites/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/slides/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/software/.cvsignore (100%) rename helm/{ => www}/mowgli/home/html/work-packages/.cvsignore (100%) rename helm/{ => www}/mowgli/home/images/NextArrow.gif (100%) rename helm/{ => www}/mowgli/home/images/PreviousArrow.gif (100%) rename helm/{ => www}/mowgli/home/images/arch.png (100%) rename helm/{ => www}/mowgli/home/images/gantt_new.png (100%) rename helm/{ => www}/mowgli/home/images/istbutton.gif (100%) rename helm/{ => www}/mowgli/home/images/istbutton_small.gif (100%) rename helm/{ => www}/mowgli/home/images/istdrop.gif (100%) rename helm/{ => www}/mowgli/home/images/logo.png (100%) rename helm/{ => www}/mowgli/home/images/mowgli_combo.gif (100%) rename helm/{ => www}/mowgli/home/images/mowgli_combo.png (100%) rename helm/{ => www}/mowgli/home/images/mowgli_parquet.png (100%) rename helm/{ => www}/mowgli/home/images/mowgli_parquet_light.png (100%) rename helm/{ => www}/mowgli/home/images/pert_new.png (100%) rename helm/{ => www}/mowgli/home/misc/contract/MOWGLIfinal-for-ceto.zip (100%) rename helm/{ => www}/mowgli/home/misc/contract/RTD-annex2-rtd-final.pdf (100%) rename helm/{ => www}/mowgli/home/misc/contract/RTD-annex3-ist-fet.pdf (100%) rename helm/{ => www}/mowgli/home/misc/contract/RTD-audit-cert-annex4.pdf (100%) rename helm/{ => www}/mowgli/home/misc/contract/mowgli-an1-final.pdf (100%) rename helm/{ => www}/mowgli/home/misc/contract/mowgli-ctr-final.pdf (100%) rename helm/{ => www}/mowgli/home/misc/kick-off/AIP_Intro.ppt (100%) rename helm/{ => www}/mowgli/home/misc/kick-off/KM2002GO.ps (100%) rename helm/{ => www}/mowgli/home/misc/kick-off/KM2002GO_mathweb.ps (100%) rename helm/{ => www}/mowgli/home/misc/kick-off/MoWGLI-LogiCal.ps (100%) rename helm/{ => www}/mowgli/home/misc/kick-off/lemme2.ppt (100%) rename helm/{ => www}/mowgli/home/misc/proposal/MOWGLI.xls (100%) rename helm/{ => www}/mowgli/home/misc/proposal/mowgli.pdf (100%) rename helm/{ => www}/mowgli/home/misc/proposal/mowgli.ps (100%) rename helm/{ => www}/mowgli/home/misc/proposal/proposal.tgz (100%) rename helm/{ => www}/mowgli/home/style/mowgli.css (100%) rename helm/{ => www}/mowgli/home/templates/index.html (100%) rename helm/{ => www}/mowgli/home/templates/ml-help-example.txt (100%) rename helm/{ => www}/mowgli/home/xml/Makefile (100%) rename helm/{ => www}/mowgli/home/xml/consortium.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/deliverable.dtd (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/distribution/d5a.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/distribution/d5b.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7a.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7b.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/interfaces/d4a.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/interfaces/d4b.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/interfaces/d4c.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/interfaces/d4d.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/interfaces/d4e.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/metadata/d3a.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/metadata/d3b.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/project-management/d0a.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/project-management/d0b.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/project-management/d0c.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/project-management/d0d.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/requirement-analysis/d1a.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/requirement-analysis/d1c.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/testing-and-validation/d6a.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/testing-and-validation/d6b.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/testing-and-validation/d6c.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/testing-and-validation/d6d.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/transformation/d2a.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/transformation/d2b.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/transformation/d2c.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/transformation/d2d.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/transformation/d2e.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/transformation/d2f.xml (100%) rename helm/{ => www}/mowgli/home/xml/deliverables/transformation/d2g.xml (100%) rename helm/{ => www}/mowgli/home/xml/home.xml (100%) rename helm/{ => www}/mowgli/home/xml/members-index.xml (100%) rename helm/{ => www}/mowgli/home/xml/members/kick-off.xml (100%) rename helm/{ => www}/mowgli/home/xml/menu.xml (100%) rename helm/{ => www}/mowgli/home/xml/mowgli-events.xml (100%) rename helm/{ => www}/mowgli/home/xml/mowgli-events/kick-off.xml (100%) rename helm/{ => www}/mowgli/home/xml/mowgli-xhtml1-transitional.dtd (100%) rename helm/{ => www}/mowgli/home/xml/news.xml (100%) rename helm/{ => www}/mowgli/home/xml/other-events.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/aei/kelley.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/aei/pollney.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/aei/schutz.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/aei/velden.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/aei/wegner.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/aei/weyher.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/bologna/asperti.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/bologna/guidi.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/bologna/padovani.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/bologna/sacerdoti.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/bologna/schena.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/dfki/goguadze.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/dfki/kohlhase.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/dfki/libbrecht.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/dfki/melis.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/dfki/moschner.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/dfki/siekmann.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/index.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/inria/amerkad.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/inria/bertot.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/inria/chicli.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/inria/delahaye.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/inria/herbelin.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/inria/naciri.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/inria/pottier.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/inria/rideau.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/inria/thery.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/inria/werner.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/nijmegen/barendregt.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/nijmegen/barreiro.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/nijmegen/cohen.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/nijmegen/cruz-filipe.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/nijmegen/geuvers.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/nijmegen/niqui.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/nijmegen/stein.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/nijmegen/synek.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/nijmegen/wiedijk.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/person.dtd (100%) rename helm/{ => www}/mowgli/home/xml/people/trusted-logic/bolignano.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/trusted-logic/gimenez.xml (100%) rename helm/{ => www}/mowgli/home/xml/people/trusted-logic/loiseaux.xml (100%) rename helm/{ => www}/mowgli/home/xml/project.xml (100%) rename helm/{ => www}/mowgli/home/xml/proposal/EC-contribution.xml (100%) rename helm/{ => www}/mowgli/home/xml/proposal/contribution.xml (100%) rename helm/{ => www}/mowgli/home/xml/proposal/econ-scient-tech-prospects.xml (100%) rename helm/{ => www}/mowgli/home/xml/proposal/innovation.xml (100%) rename helm/{ => www}/mowgli/home/xml/proposal/project-components.xml (100%) rename helm/{ => www}/mowgli/home/xml/proposal/project-management.xml (100%) rename helm/{ => www}/mowgli/home/xml/proposal/project-objectives.xml (100%) rename helm/{ => www}/mowgli/home/xml/proposal/project-planning.xml (100%) rename helm/{ => www}/mowgli/home/xml/proposal/project-summary.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/index.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/mowgli/crimea2002_aw.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/mowgli/crimea2002_aw_on_line.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/category_al.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/cc.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/crimea2001_apss.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/cup_hp91.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/cup_hp93.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/cup_s.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/cup_s2.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/extreme2001_apss.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/har_bg.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/jep_ws.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/jep_wwsw.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/jlp2001_scg.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/mathml2000_apss.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/mscs_gb.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/publication.dtd (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/tcs2001_og.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/tphols2000_gwz.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/tphols2001_apss.xml (100%) rename helm/{ => www}/mowgli/home/xml/publications/others/w3c_bl98.xml (100%) rename helm/{ => www}/mowgli/home/xml/sites/aei.xml (100%) rename helm/{ => www}/mowgli/home/xml/sites/bologna.xml (100%) rename helm/{ => www}/mowgli/home/xml/sites/dfki.xml (100%) rename helm/{ => www}/mowgli/home/xml/sites/inria.xml (100%) rename helm/{ => www}/mowgli/home/xml/sites/nijmegen.xml (100%) rename helm/{ => www}/mowgli/home/xml/sites/site.dtd (100%) rename helm/{ => www}/mowgli/home/xml/sites/trusted-logic.xml (100%) rename helm/{ => www}/mowgli/home/xml/slides/mowgligroup.xml (100%) rename helm/{ => www}/mowgli/home/xml/software/index.xml (100%) rename helm/{ => www}/mowgli/home/xml/work-packages/distribution.xml (100%) rename helm/{ => www}/mowgli/home/xml/work-packages/index.xml (100%) rename helm/{ => www}/mowgli/home/xml/work-packages/information-dissemination-and-exploitation.xml (100%) rename helm/{ => www}/mowgli/home/xml/work-packages/interfaces.xml (100%) rename helm/{ => www}/mowgli/home/xml/work-packages/metadata.xml (100%) rename helm/{ => www}/mowgli/home/xml/work-packages/project-management.xml (100%) rename helm/{ => www}/mowgli/home/xml/work-packages/requirement-analysis.xml (100%) rename helm/{ => www}/mowgli/home/xml/work-packages/testing-and-validation.xml (100%) rename helm/{ => www}/mowgli/home/xml/work-packages/transformation.xml (100%) rename helm/{ => www}/mowgli/home/xml/work-packages/work-package.dtd (100%) rename helm/{ => www}/mowgli/home/xsl/approaching-deadlines.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/common.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/consortium.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/deadlines.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/deliverable.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/events.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/latest-news.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/management.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/minutes.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/news.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/people-list.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/person.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/project.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/publication.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/publications-index.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/site.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/work-package.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/work-packages_index.xsl (100%) rename helm/{ => www}/mowgli/home/xsl/xhtml-content.xsl (100%) rename helm/{ => xml}/dtd/annotations.dtd (100%) rename helm/{ => xml}/dtd/backward.dtd (100%) rename helm/{ => xml}/dtd/cic.dtd (100%) rename helm/{ => xml}/dtd/cicobject.dtd (100%) rename helm/{ => xml}/dtd/cictypes.dtd (100%) rename helm/{ => xml}/dtd/forward.dtd (100%) rename helm/{ => xml}/dtd/isoamsa.ent (100%) rename helm/{ => xml}/dtd/isoamsb.ent (100%) rename helm/{ => xml}/dtd/isoamsc.ent (100%) rename helm/{ => xml}/dtd/isoamsn.ent (100%) rename helm/{ => xml}/dtd/isoamso.ent (100%) rename helm/{ => xml}/dtd/isoamsr.ent (100%) rename helm/{ => xml}/dtd/isobox.ent (100%) rename helm/{ => xml}/dtd/isocyr1.ent (100%) rename helm/{ => xml}/dtd/isocyr2.ent (100%) rename helm/{ => xml}/dtd/isodia.ent (100%) rename helm/{ => xml}/dtd/isogrk3.ent (100%) rename helm/{ => xml}/dtd/isolat1.ent (100%) rename helm/{ => xml}/dtd/isolat2.ent (100%) rename helm/{ => xml}/dtd/isomfrk.ent (100%) rename helm/{ => xml}/dtd/isomopf.ent (100%) rename helm/{ => xml}/dtd/isomscr.ent (100%) rename helm/{ => xml}/dtd/isonum.ent (100%) rename helm/{ => xml}/dtd/isopub.ent (100%) rename helm/{ => xml}/dtd/isotech.ent (100%) rename helm/{ => xml}/dtd/ls.dtd (100%) rename helm/{ => xml}/dtd/mathml2-qname-1.mod (100%) rename helm/{ => xml}/dtd/mathml2.dtd (100%) rename helm/{ => xml}/dtd/maththeory.dtd (100%) rename helm/{ => xml}/dtd/mmlalias.ent (100%) rename helm/{ => xml}/dtd/mmlextra.ent (100%) rename helm/{ => xml}/dtd/theoryobject.dtd (100%) rename helm/{ => xml}/dtd/xhtml-lat1.ent (100%) rename helm/{ => xml}/dtd/xhtml-special.ent (100%) rename helm/{ => xml}/dtd/xhtml-symbol.ent (100%) rename helm/{ => xml}/nuprl_stylesheets/nuprl_abstract.xsl (100%) rename helm/{ => xml}/nuprl_stylesheets/nuprl_annotatedpres.xsl (100%) rename helm/{ => xml}/nuprl_stylesheets/nuprl_content_to_html2.xsl (100%) rename helm/{ => xml}/nuprl_stylesheets/nuprl_expand.xsl (100%) rename helm/{ => xml}/nuprl_stylesheets/nuprl_html_arith.xsl (100%) rename helm/{ => xml}/nuprl_stylesheets/nuprl_html_basic.xsl (100%) rename helm/{ => xml}/nuprl_stylesheets/nuprl_link.xsl (100%) rename helm/{ => xml}/nuprl_stylesheets/nuprl_links_library.xsl (100%) rename helm/{ => xml}/nuprl_stylesheets/nuprl_mmlextension.xsl (100%) rename helm/{ => xml}/nuprl_stylesheets/nuprl_proof.xsl (100%) rename helm/{ => xml}/nuprl_stylesheets/nuprl_rules.xsl (100%) rename helm/{ => xml}/nuprl_stylesheets/nuprl_term.xsl (100%) rename helm/{ => xml}/nuprl_stylesheets/nuprl_tree.xsl (100%) rename helm/{ => xml}/nuprl_stylesheets/xslt_index.txt (100%) rename helm/{ => xml}/schemas/13-dcagent (100%) rename helm/{ => xml}/schemas/21-euler (100%) rename helm/{ => xml}/schemas/dces (100%) rename helm/{ => xml}/schemas/dcq (100%) rename helm/{ => xml}/schemas/dctype (100%) rename helm/{ => xml}/schemas/schema-h (100%) rename helm/{ => xml}/schemas/schema-hth (100%) diff --git a/helm/on-line/html/cic/control.html b/helm/software/daemons/on-line/html/cic/control.html similarity index 100% rename from helm/on-line/html/cic/control.html rename to helm/software/daemons/on-line/html/cic/control.html diff --git a/helm/on-line/html/cic/index.html b/helm/software/daemons/on-line/html/cic/index.html similarity index 100% rename from helm/on-line/html/cic/index.html rename to helm/software/daemons/on-line/html/cic/index.html diff --git a/helm/on-line/html/configuration.html b/helm/software/daemons/on-line/html/configuration.html similarity index 100% rename from helm/on-line/html/configuration.html rename to helm/software/daemons/on-line/html/configuration.html diff --git a/helm/on-line/html/folder/control.html b/helm/software/daemons/on-line/html/folder/control.html similarity index 100% rename from helm/on-line/html/folder/control.html rename to helm/software/daemons/on-line/html/folder/control.html diff --git a/helm/on-line/html/folder/index.html b/helm/software/daemons/on-line/html/folder/index.html similarity index 100% rename from helm/on-line/html/folder/index.html rename to helm/software/daemons/on-line/html/folder/index.html diff --git a/helm/on-line/html/theory/control.html b/helm/software/daemons/on-line/html/theory/control.html similarity index 100% rename from helm/on-line/html/theory/control.html rename to helm/software/daemons/on-line/html/theory/control.html diff --git a/helm/on-line/html/theory/index.html b/helm/software/daemons/on-line/html/theory/index.html similarity index 100% rename from helm/on-line/html/theory/index.html rename to helm/software/daemons/on-line/html/theory/index.html diff --git a/helm/on-line/icons/folder.png b/helm/software/daemons/on-line/icons/folder.png similarity index 100% rename from helm/on-line/icons/folder.png rename to helm/software/daemons/on-line/icons/folder.png diff --git a/helm/on-line/icons/object.png b/helm/software/daemons/on-line/icons/object.png similarity index 100% rename from helm/on-line/icons/object.png rename to helm/software/daemons/on-line/icons/object.png diff --git a/helm/on-line/icons/theory.png b/helm/software/daemons/on-line/icons/theory.png similarity index 100% rename from helm/on-line/icons/theory.png rename to helm/software/daemons/on-line/icons/theory.png diff --git a/helm/on-line/javascript/.cvsignore b/helm/software/daemons/on-line/javascript/.cvsignore similarity index 100% rename from helm/on-line/javascript/.cvsignore rename to helm/software/daemons/on-line/javascript/.cvsignore diff --git a/helm/on-line/javascript/Makefile b/helm/software/daemons/on-line/javascript/Makefile similarity index 100% rename from helm/on-line/javascript/Makefile rename to helm/software/daemons/on-line/javascript/Makefile diff --git a/helm/on-line/javascript/helmjsmenu.js b/helm/software/daemons/on-line/javascript/helmjsmenu.js similarity index 100% rename from helm/on-line/javascript/helmjsmenu.js rename to helm/software/daemons/on-line/javascript/helmjsmenu.js diff --git a/helm/on-line/javascript/prelude.js b/helm/software/daemons/on-line/javascript/prelude.js similarity index 100% rename from helm/on-line/javascript/prelude.js rename to helm/software/daemons/on-line/javascript/prelude.js diff --git a/helm/on-line/xslt/getParam.xsl b/helm/software/daemons/on-line/xslt/getParam.xsl similarity index 100% rename from helm/on-line/xslt/getParam.xsl rename to helm/software/daemons/on-line/xslt/getParam.xsl diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/software/daemons/on-line/xslt/ls2theory.xsl similarity index 100% rename from helm/on-line/xslt/ls2theory.xsl rename to helm/software/daemons/on-line/xslt/ls2theory.xsl diff --git a/helm/on-line/xslt/makeGraphLinks.xsl b/helm/software/daemons/on-line/xslt/makeGraphLinks.xsl similarity index 100% rename from helm/on-line/xslt/makeGraphLinks.xsl rename to helm/software/daemons/on-line/xslt/makeGraphLinks.xsl diff --git a/helm/on-line/xslt/metadataControl.xsl b/helm/software/daemons/on-line/xslt/metadataControl.xsl similarity index 100% rename from helm/on-line/xslt/metadataControl.xsl rename to helm/software/daemons/on-line/xslt/metadataControl.xsl diff --git a/helm/on-line/xslt/resolve_topurl.xsl b/helm/software/daemons/on-line/xslt/resolve_topurl.xsl similarity index 100% rename from helm/on-line/xslt/resolve_topurl.xsl rename to helm/software/daemons/on-line/xslt/resolve_topurl.xsl diff --git a/helm/on-line/xslt/search.xsl b/helm/software/daemons/on-line/xslt/search.xsl similarity index 100% rename from helm/on-line/xslt/search.xsl rename to helm/software/daemons/on-line/xslt/search.xsl diff --git a/helm/on-line/xslt/substKey.xsl b/helm/software/daemons/on-line/xslt/substKey.xsl similarity index 100% rename from helm/on-line/xslt/substKey.xsl rename to helm/software/daemons/on-line/xslt/substKey.xsl diff --git a/helm/on-line/xslt/toplevel_header.xsl b/helm/software/daemons/on-line/xslt/toplevel_header.xsl similarity index 100% rename from helm/on-line/xslt/toplevel_header.xsl rename to helm/software/daemons/on-line/xslt/toplevel_header.xsl diff --git a/helm/on-line/xslt/utils.xsl b/helm/software/daemons/on-line/xslt/utils.xsl similarity index 100% rename from helm/on-line/xslt/utils.xsl rename to helm/software/daemons/on-line/xslt/utils.xsl diff --git a/helm/on-line/xslt/xslt_index.txt b/helm/software/daemons/on-line/xslt/xslt_index.txt similarity index 100% rename from helm/on-line/xslt/xslt_index.txt rename to helm/software/daemons/on-line/xslt/xslt_index.txt diff --git a/helm/scripts/init.d/daemon_respawner.sh b/helm/software/daemons/scripts/init.d/daemon_respawner.sh similarity index 100% rename from helm/scripts/init.d/daemon_respawner.sh rename to helm/software/daemons/scripts/init.d/daemon_respawner.sh diff --git a/helm/scripts/init.d/etc_default_helm b/helm/software/daemons/scripts/init.d/etc_default_helm similarity index 100% rename from helm/scripts/init.d/etc_default_helm rename to helm/software/daemons/scripts/init.d/etc_default_helm diff --git a/helm/scripts/init.d/helm b/helm/software/daemons/scripts/init.d/helm similarity index 100% rename from helm/scripts/init.d/helm rename to helm/software/daemons/scripts/init.d/helm diff --git a/helm/scripts/init.d/helm-bootmisc.sh b/helm/software/daemons/scripts/init.d/helm-bootmisc.sh similarity index 100% rename from helm/scripts/init.d/helm-bootmisc.sh rename to helm/software/daemons/scripts/init.d/helm-bootmisc.sh diff --git a/helm/scripts/init.d/helm-draw-graph b/helm/software/daemons/scripts/init.d/helm-draw-graph similarity index 100% rename from helm/scripts/init.d/helm-draw-graph rename to helm/software/daemons/scripts/init.d/helm-draw-graph diff --git a/helm/scripts/init.d/helm-http-getter b/helm/software/daemons/scripts/init.d/helm-http-getter similarity index 100% rename from helm/scripts/init.d/helm-http-getter rename to helm/software/daemons/scripts/init.d/helm-http-getter diff --git a/helm/scripts/init.d/helm-proof-checker b/helm/software/daemons/scripts/init.d/helm-proof-checker similarity index 100% rename from helm/scripts/init.d/helm-proof-checker rename to helm/software/daemons/scripts/init.d/helm-proof-checker diff --git a/helm/scripts/init.d/helm-rdfly b/helm/software/daemons/scripts/init.d/helm-rdfly similarity index 100% rename from helm/scripts/init.d/helm-rdfly rename to helm/software/daemons/scripts/init.d/helm-rdfly diff --git a/helm/scripts/init.d/helm-search-engine b/helm/software/daemons/scripts/init.d/helm-search-engine similarity index 100% rename from helm/scripts/init.d/helm-search-engine rename to helm/software/daemons/scripts/init.d/helm-search-engine diff --git a/helm/scripts/init.d/helm-uri-set-queue b/helm/software/daemons/scripts/init.d/helm-uri-set-queue similarity index 100% rename from helm/scripts/init.d/helm-uri-set-queue rename to helm/software/daemons/scripts/init.d/helm-uri-set-queue diff --git a/helm/scripts/init.d/helm-uwobo b/helm/software/daemons/scripts/init.d/helm-uwobo similarity index 100% rename from helm/scripts/init.d/helm-uwobo rename to helm/software/daemons/scripts/init.d/helm-uwobo diff --git a/helm/scripts/init.d/helm-uwobo-stylesheets b/helm/software/daemons/scripts/init.d/helm-uwobo-stylesheets similarity index 100% rename from helm/scripts/init.d/helm-uwobo-stylesheets rename to helm/software/daemons/scripts/init.d/helm-uwobo-stylesheets diff --git a/helm/scripts/init.d/loadPredefinedStylesheets.pl b/helm/software/daemons/scripts/init.d/loadPredefinedStylesheets.pl similarity index 100% rename from helm/scripts/init.d/loadPredefinedStylesheets.pl rename to helm/software/daemons/scripts/init.d/loadPredefinedStylesheets.pl diff --git a/helm/matita_homepage/.htaccess b/helm/www/matita/.htaccess similarity index 100% rename from helm/matita_homepage/.htaccess rename to helm/www/matita/.htaccess diff --git a/helm/matita_homepage/Makefile b/helm/www/matita/Makefile similarity index 100% rename from helm/matita_homepage/Makefile rename to helm/www/matita/Makefile diff --git a/helm/matita_homepage/bg.png b/helm/www/matita/bg.png similarity index 100% rename from helm/matita_homepage/bg.png rename to helm/www/matita/bg.png diff --git a/helm/matita_homepage/community.html b/helm/www/matita/community.html similarity index 100% rename from helm/matita_homepage/community.html rename to helm/www/matita/community.html diff --git a/helm/matita_homepage/developers.html b/helm/www/matita/developers.html similarity index 100% rename from helm/matita_homepage/developers.html rename to helm/www/matita/developers.html diff --git a/helm/matita_homepage/documentation.html b/helm/www/matita/documentation.html similarity index 100% rename from helm/matita_homepage/documentation.html rename to helm/www/matita/documentation.html diff --git a/helm/matita_homepage/download.html b/helm/www/matita/download.html similarity index 100% rename from helm/matita_homepage/download.html rename to helm/www/matita/download.html diff --git a/helm/matita_homepage/index.html b/helm/www/matita/index.html similarity index 100% rename from helm/matita_homepage/index.html rename to helm/www/matita/index.html diff --git a/helm/matita_homepage/matita.html b/helm/www/matita/matita.html similarity index 100% rename from helm/matita_homepage/matita.html rename to helm/www/matita/matita.html diff --git a/helm/matita_homepage/matita.png b/helm/www/matita/matita.png similarity index 100% rename from helm/matita_homepage/matita.png rename to helm/www/matita/matita.png diff --git a/helm/matita_homepage/matita.xcf b/helm/www/matita/matita.xcf similarity index 100% rename from helm/matita_homepage/matita.xcf rename to helm/www/matita/matita.xcf diff --git a/helm/mowgli/home/htaccess b/helm/www/mowgli/home/htaccess similarity index 100% rename from helm/mowgli/home/htaccess rename to helm/www/mowgli/home/htaccess diff --git a/helm/mowgli/home/html/.cvsignore b/helm/www/mowgli/home/html/.cvsignore similarity index 100% rename from helm/mowgli/home/html/.cvsignore rename to helm/www/mowgli/home/html/.cvsignore diff --git a/helm/mowgli/home/html/Makefile b/helm/www/mowgli/home/html/Makefile similarity index 100% rename from helm/mowgli/home/html/Makefile rename to helm/www/mowgli/home/html/Makefile diff --git a/helm/mowgli/home/html/deliverables/distribution/.cvsignore b/helm/www/mowgli/home/html/deliverables/distribution/.cvsignore similarity index 100% rename from helm/mowgli/home/html/deliverables/distribution/.cvsignore rename to helm/www/mowgli/home/html/deliverables/distribution/.cvsignore diff --git a/helm/mowgli/home/html/deliverables/information-dissemination-and-exploitation/.cvsignore b/helm/www/mowgli/home/html/deliverables/information-dissemination-and-exploitation/.cvsignore similarity index 100% rename from helm/mowgli/home/html/deliverables/information-dissemination-and-exploitation/.cvsignore rename to helm/www/mowgli/home/html/deliverables/information-dissemination-and-exploitation/.cvsignore diff --git a/helm/mowgli/home/html/deliverables/interfaces/.cvsignore b/helm/www/mowgli/home/html/deliverables/interfaces/.cvsignore similarity index 100% rename from helm/mowgli/home/html/deliverables/interfaces/.cvsignore rename to helm/www/mowgli/home/html/deliverables/interfaces/.cvsignore diff --git a/helm/mowgli/home/html/deliverables/metadata/.cvsignore b/helm/www/mowgli/home/html/deliverables/metadata/.cvsignore similarity index 100% rename from helm/mowgli/home/html/deliverables/metadata/.cvsignore rename to helm/www/mowgli/home/html/deliverables/metadata/.cvsignore diff --git a/helm/mowgli/home/html/deliverables/project-management/.cvsignore b/helm/www/mowgli/home/html/deliverables/project-management/.cvsignore similarity index 100% rename from helm/mowgli/home/html/deliverables/project-management/.cvsignore rename to helm/www/mowgli/home/html/deliverables/project-management/.cvsignore diff --git a/helm/mowgli/home/html/deliverables/requirement-analysis/.cvsignore b/helm/www/mowgli/home/html/deliverables/requirement-analysis/.cvsignore similarity index 100% rename from helm/mowgli/home/html/deliverables/requirement-analysis/.cvsignore rename to helm/www/mowgli/home/html/deliverables/requirement-analysis/.cvsignore diff --git a/helm/mowgli/home/html/deliverables/testing-and-validation/.cvsignore b/helm/www/mowgli/home/html/deliverables/testing-and-validation/.cvsignore similarity index 100% rename from helm/mowgli/home/html/deliverables/testing-and-validation/.cvsignore rename to helm/www/mowgli/home/html/deliverables/testing-and-validation/.cvsignore diff --git a/helm/mowgli/home/html/deliverables/transformation/.cvsignore b/helm/www/mowgli/home/html/deliverables/transformation/.cvsignore similarity index 100% rename from helm/mowgli/home/html/deliverables/transformation/.cvsignore rename to helm/www/mowgli/home/html/deliverables/transformation/.cvsignore diff --git a/helm/mowgli/home/html/members/.cvsignore b/helm/www/mowgli/home/html/members/.cvsignore similarity index 100% rename from helm/mowgli/home/html/members/.cvsignore rename to helm/www/mowgli/home/html/members/.cvsignore diff --git a/helm/mowgli/home/html/mowgli-events/.cvsignore b/helm/www/mowgli/home/html/mowgli-events/.cvsignore similarity index 100% rename from helm/mowgli/home/html/mowgli-events/.cvsignore rename to helm/www/mowgli/home/html/mowgli-events/.cvsignore diff --git a/helm/mowgli/home/html/people/aei/.cvsignore b/helm/www/mowgli/home/html/people/aei/.cvsignore similarity index 100% rename from helm/mowgli/home/html/people/aei/.cvsignore rename to helm/www/mowgli/home/html/people/aei/.cvsignore diff --git a/helm/mowgli/home/html/people/bologna/.cvsignore b/helm/www/mowgli/home/html/people/bologna/.cvsignore similarity index 100% rename from helm/mowgli/home/html/people/bologna/.cvsignore rename to helm/www/mowgli/home/html/people/bologna/.cvsignore diff --git a/helm/mowgli/home/html/people/dfki/.cvsignore b/helm/www/mowgli/home/html/people/dfki/.cvsignore similarity index 100% rename from helm/mowgli/home/html/people/dfki/.cvsignore rename to helm/www/mowgli/home/html/people/dfki/.cvsignore diff --git a/helm/mowgli/home/html/people/inria/.cvsignore b/helm/www/mowgli/home/html/people/inria/.cvsignore similarity index 100% rename from helm/mowgli/home/html/people/inria/.cvsignore rename to helm/www/mowgli/home/html/people/inria/.cvsignore diff --git a/helm/mowgli/home/html/people/nijmegen/.cvsignore b/helm/www/mowgli/home/html/people/nijmegen/.cvsignore similarity index 100% rename from helm/mowgli/home/html/people/nijmegen/.cvsignore rename to helm/www/mowgli/home/html/people/nijmegen/.cvsignore diff --git a/helm/mowgli/home/html/people/trusted-logic/.cvsignore b/helm/www/mowgli/home/html/people/trusted-logic/.cvsignore similarity index 100% rename from helm/mowgli/home/html/people/trusted-logic/.cvsignore rename to helm/www/mowgli/home/html/people/trusted-logic/.cvsignore diff --git a/helm/mowgli/home/html/proposal/.cvsignore b/helm/www/mowgli/home/html/proposal/.cvsignore similarity index 100% rename from helm/mowgli/home/html/proposal/.cvsignore rename to helm/www/mowgli/home/html/proposal/.cvsignore diff --git a/helm/mowgli/home/html/publications/.cvsignore b/helm/www/mowgli/home/html/publications/.cvsignore similarity index 100% rename from helm/mowgli/home/html/publications/.cvsignore rename to helm/www/mowgli/home/html/publications/.cvsignore diff --git a/helm/mowgli/home/html/publications/mowgli/.cvsignore b/helm/www/mowgli/home/html/publications/mowgli/.cvsignore similarity index 100% rename from helm/mowgli/home/html/publications/mowgli/.cvsignore rename to helm/www/mowgli/home/html/publications/mowgli/.cvsignore diff --git a/helm/mowgli/home/html/publications/others/.cvsignore b/helm/www/mowgli/home/html/publications/others/.cvsignore similarity index 100% rename from helm/mowgli/home/html/publications/others/.cvsignore rename to helm/www/mowgli/home/html/publications/others/.cvsignore diff --git a/helm/mowgli/home/html/sites/.cvsignore b/helm/www/mowgli/home/html/sites/.cvsignore similarity index 100% rename from helm/mowgli/home/html/sites/.cvsignore rename to helm/www/mowgli/home/html/sites/.cvsignore diff --git a/helm/mowgli/home/html/slides/.cvsignore b/helm/www/mowgli/home/html/slides/.cvsignore similarity index 100% rename from helm/mowgli/home/html/slides/.cvsignore rename to helm/www/mowgli/home/html/slides/.cvsignore diff --git a/helm/mowgli/home/html/software/.cvsignore b/helm/www/mowgli/home/html/software/.cvsignore similarity index 100% rename from helm/mowgli/home/html/software/.cvsignore rename to helm/www/mowgli/home/html/software/.cvsignore diff --git a/helm/mowgli/home/html/work-packages/.cvsignore b/helm/www/mowgli/home/html/work-packages/.cvsignore similarity index 100% rename from helm/mowgli/home/html/work-packages/.cvsignore rename to helm/www/mowgli/home/html/work-packages/.cvsignore diff --git a/helm/mowgli/home/images/NextArrow.gif b/helm/www/mowgli/home/images/NextArrow.gif similarity index 100% rename from helm/mowgli/home/images/NextArrow.gif rename to helm/www/mowgli/home/images/NextArrow.gif diff --git a/helm/mowgli/home/images/PreviousArrow.gif b/helm/www/mowgli/home/images/PreviousArrow.gif similarity index 100% rename from helm/mowgli/home/images/PreviousArrow.gif rename to helm/www/mowgli/home/images/PreviousArrow.gif diff --git a/helm/mowgli/home/images/arch.png b/helm/www/mowgli/home/images/arch.png similarity index 100% rename from helm/mowgli/home/images/arch.png rename to helm/www/mowgli/home/images/arch.png diff --git a/helm/mowgli/home/images/gantt_new.png b/helm/www/mowgli/home/images/gantt_new.png similarity index 100% rename from helm/mowgli/home/images/gantt_new.png rename to helm/www/mowgli/home/images/gantt_new.png diff --git a/helm/mowgli/home/images/istbutton.gif b/helm/www/mowgli/home/images/istbutton.gif similarity index 100% rename from helm/mowgli/home/images/istbutton.gif rename to helm/www/mowgli/home/images/istbutton.gif diff --git a/helm/mowgli/home/images/istbutton_small.gif b/helm/www/mowgli/home/images/istbutton_small.gif similarity index 100% rename from helm/mowgli/home/images/istbutton_small.gif rename to helm/www/mowgli/home/images/istbutton_small.gif diff --git a/helm/mowgli/home/images/istdrop.gif b/helm/www/mowgli/home/images/istdrop.gif similarity index 100% rename from helm/mowgli/home/images/istdrop.gif rename to helm/www/mowgli/home/images/istdrop.gif diff --git a/helm/mowgli/home/images/logo.png b/helm/www/mowgli/home/images/logo.png similarity index 100% rename from helm/mowgli/home/images/logo.png rename to helm/www/mowgli/home/images/logo.png diff --git a/helm/mowgli/home/images/mowgli_combo.gif b/helm/www/mowgli/home/images/mowgli_combo.gif similarity index 100% rename from helm/mowgli/home/images/mowgli_combo.gif rename to helm/www/mowgli/home/images/mowgli_combo.gif diff --git a/helm/mowgli/home/images/mowgli_combo.png b/helm/www/mowgli/home/images/mowgli_combo.png similarity index 100% rename from helm/mowgli/home/images/mowgli_combo.png rename to helm/www/mowgli/home/images/mowgli_combo.png diff --git a/helm/mowgli/home/images/mowgli_parquet.png b/helm/www/mowgli/home/images/mowgli_parquet.png similarity index 100% rename from helm/mowgli/home/images/mowgli_parquet.png rename to helm/www/mowgli/home/images/mowgli_parquet.png diff --git a/helm/mowgli/home/images/mowgli_parquet_light.png b/helm/www/mowgli/home/images/mowgli_parquet_light.png similarity index 100% rename from helm/mowgli/home/images/mowgli_parquet_light.png rename to helm/www/mowgli/home/images/mowgli_parquet_light.png diff --git a/helm/mowgli/home/images/pert_new.png b/helm/www/mowgli/home/images/pert_new.png similarity index 100% rename from helm/mowgli/home/images/pert_new.png rename to helm/www/mowgli/home/images/pert_new.png diff --git a/helm/mowgli/home/misc/contract/MOWGLIfinal-for-ceto.zip b/helm/www/mowgli/home/misc/contract/MOWGLIfinal-for-ceto.zip similarity index 100% rename from helm/mowgli/home/misc/contract/MOWGLIfinal-for-ceto.zip rename to helm/www/mowgli/home/misc/contract/MOWGLIfinal-for-ceto.zip diff --git a/helm/mowgli/home/misc/contract/RTD-annex2-rtd-final.pdf b/helm/www/mowgli/home/misc/contract/RTD-annex2-rtd-final.pdf similarity index 100% rename from helm/mowgli/home/misc/contract/RTD-annex2-rtd-final.pdf rename to helm/www/mowgli/home/misc/contract/RTD-annex2-rtd-final.pdf diff --git a/helm/mowgli/home/misc/contract/RTD-annex3-ist-fet.pdf b/helm/www/mowgli/home/misc/contract/RTD-annex3-ist-fet.pdf similarity index 100% rename from helm/mowgli/home/misc/contract/RTD-annex3-ist-fet.pdf rename to helm/www/mowgli/home/misc/contract/RTD-annex3-ist-fet.pdf diff --git a/helm/mowgli/home/misc/contract/RTD-audit-cert-annex4.pdf b/helm/www/mowgli/home/misc/contract/RTD-audit-cert-annex4.pdf similarity index 100% rename from helm/mowgli/home/misc/contract/RTD-audit-cert-annex4.pdf rename to helm/www/mowgli/home/misc/contract/RTD-audit-cert-annex4.pdf diff --git a/helm/mowgli/home/misc/contract/mowgli-an1-final.pdf b/helm/www/mowgli/home/misc/contract/mowgli-an1-final.pdf similarity index 100% rename from helm/mowgli/home/misc/contract/mowgli-an1-final.pdf rename to helm/www/mowgli/home/misc/contract/mowgli-an1-final.pdf diff --git a/helm/mowgli/home/misc/contract/mowgli-ctr-final.pdf b/helm/www/mowgli/home/misc/contract/mowgli-ctr-final.pdf similarity index 100% rename from helm/mowgli/home/misc/contract/mowgli-ctr-final.pdf rename to helm/www/mowgli/home/misc/contract/mowgli-ctr-final.pdf diff --git a/helm/mowgli/home/misc/kick-off/AIP_Intro.ppt b/helm/www/mowgli/home/misc/kick-off/AIP_Intro.ppt similarity index 100% rename from helm/mowgli/home/misc/kick-off/AIP_Intro.ppt rename to helm/www/mowgli/home/misc/kick-off/AIP_Intro.ppt diff --git a/helm/mowgli/home/misc/kick-off/KM2002GO.ps b/helm/www/mowgli/home/misc/kick-off/KM2002GO.ps similarity index 100% rename from helm/mowgli/home/misc/kick-off/KM2002GO.ps rename to helm/www/mowgli/home/misc/kick-off/KM2002GO.ps diff --git a/helm/mowgli/home/misc/kick-off/KM2002GO_mathweb.ps b/helm/www/mowgli/home/misc/kick-off/KM2002GO_mathweb.ps similarity index 100% rename from helm/mowgli/home/misc/kick-off/KM2002GO_mathweb.ps rename to helm/www/mowgli/home/misc/kick-off/KM2002GO_mathweb.ps diff --git a/helm/mowgli/home/misc/kick-off/MoWGLI-LogiCal.ps b/helm/www/mowgli/home/misc/kick-off/MoWGLI-LogiCal.ps similarity index 100% rename from helm/mowgli/home/misc/kick-off/MoWGLI-LogiCal.ps rename to helm/www/mowgli/home/misc/kick-off/MoWGLI-LogiCal.ps diff --git a/helm/mowgli/home/misc/kick-off/lemme2.ppt b/helm/www/mowgli/home/misc/kick-off/lemme2.ppt similarity index 100% rename from helm/mowgli/home/misc/kick-off/lemme2.ppt rename to helm/www/mowgli/home/misc/kick-off/lemme2.ppt diff --git a/helm/mowgli/home/misc/proposal/MOWGLI.xls b/helm/www/mowgli/home/misc/proposal/MOWGLI.xls similarity index 100% rename from helm/mowgli/home/misc/proposal/MOWGLI.xls rename to helm/www/mowgli/home/misc/proposal/MOWGLI.xls diff --git a/helm/mowgli/home/misc/proposal/mowgli.pdf b/helm/www/mowgli/home/misc/proposal/mowgli.pdf similarity index 100% rename from helm/mowgli/home/misc/proposal/mowgli.pdf rename to helm/www/mowgli/home/misc/proposal/mowgli.pdf diff --git a/helm/mowgli/home/misc/proposal/mowgli.ps b/helm/www/mowgli/home/misc/proposal/mowgli.ps similarity index 100% rename from helm/mowgli/home/misc/proposal/mowgli.ps rename to helm/www/mowgli/home/misc/proposal/mowgli.ps diff --git a/helm/mowgli/home/misc/proposal/proposal.tgz b/helm/www/mowgli/home/misc/proposal/proposal.tgz similarity index 100% rename from helm/mowgli/home/misc/proposal/proposal.tgz rename to helm/www/mowgli/home/misc/proposal/proposal.tgz diff --git a/helm/mowgli/home/style/mowgli.css b/helm/www/mowgli/home/style/mowgli.css similarity index 100% rename from helm/mowgli/home/style/mowgli.css rename to helm/www/mowgli/home/style/mowgli.css diff --git a/helm/mowgli/home/templates/index.html b/helm/www/mowgli/home/templates/index.html similarity index 100% rename from helm/mowgli/home/templates/index.html rename to helm/www/mowgli/home/templates/index.html diff --git a/helm/mowgli/home/templates/ml-help-example.txt b/helm/www/mowgli/home/templates/ml-help-example.txt similarity index 100% rename from helm/mowgli/home/templates/ml-help-example.txt rename to helm/www/mowgli/home/templates/ml-help-example.txt diff --git a/helm/mowgli/home/xml/Makefile b/helm/www/mowgli/home/xml/Makefile similarity index 100% rename from helm/mowgli/home/xml/Makefile rename to helm/www/mowgli/home/xml/Makefile diff --git a/helm/mowgli/home/xml/consortium.xml b/helm/www/mowgli/home/xml/consortium.xml similarity index 100% rename from helm/mowgli/home/xml/consortium.xml rename to helm/www/mowgli/home/xml/consortium.xml diff --git a/helm/mowgli/home/xml/deliverables/deliverable.dtd b/helm/www/mowgli/home/xml/deliverables/deliverable.dtd similarity index 100% rename from helm/mowgli/home/xml/deliverables/deliverable.dtd rename to helm/www/mowgli/home/xml/deliverables/deliverable.dtd diff --git a/helm/mowgli/home/xml/deliverables/distribution/d5a.xml b/helm/www/mowgli/home/xml/deliverables/distribution/d5a.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/distribution/d5a.xml rename to helm/www/mowgli/home/xml/deliverables/distribution/d5a.xml diff --git a/helm/mowgli/home/xml/deliverables/distribution/d5b.xml b/helm/www/mowgli/home/xml/deliverables/distribution/d5b.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/distribution/d5b.xml rename to helm/www/mowgli/home/xml/deliverables/distribution/d5b.xml diff --git a/helm/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7a.xml b/helm/www/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7a.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7a.xml rename to helm/www/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7a.xml diff --git a/helm/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7b.xml b/helm/www/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7b.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7b.xml rename to helm/www/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7b.xml diff --git a/helm/mowgli/home/xml/deliverables/interfaces/d4a.xml b/helm/www/mowgli/home/xml/deliverables/interfaces/d4a.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/interfaces/d4a.xml rename to helm/www/mowgli/home/xml/deliverables/interfaces/d4a.xml diff --git a/helm/mowgli/home/xml/deliverables/interfaces/d4b.xml b/helm/www/mowgli/home/xml/deliverables/interfaces/d4b.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/interfaces/d4b.xml rename to helm/www/mowgli/home/xml/deliverables/interfaces/d4b.xml diff --git a/helm/mowgli/home/xml/deliverables/interfaces/d4c.xml b/helm/www/mowgli/home/xml/deliverables/interfaces/d4c.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/interfaces/d4c.xml rename to helm/www/mowgli/home/xml/deliverables/interfaces/d4c.xml diff --git a/helm/mowgli/home/xml/deliverables/interfaces/d4d.xml b/helm/www/mowgli/home/xml/deliverables/interfaces/d4d.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/interfaces/d4d.xml rename to helm/www/mowgli/home/xml/deliverables/interfaces/d4d.xml diff --git a/helm/mowgli/home/xml/deliverables/interfaces/d4e.xml b/helm/www/mowgli/home/xml/deliverables/interfaces/d4e.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/interfaces/d4e.xml rename to helm/www/mowgli/home/xml/deliverables/interfaces/d4e.xml diff --git a/helm/mowgli/home/xml/deliverables/metadata/d3a.xml b/helm/www/mowgli/home/xml/deliverables/metadata/d3a.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/metadata/d3a.xml rename to helm/www/mowgli/home/xml/deliverables/metadata/d3a.xml diff --git a/helm/mowgli/home/xml/deliverables/metadata/d3b.xml b/helm/www/mowgli/home/xml/deliverables/metadata/d3b.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/metadata/d3b.xml rename to helm/www/mowgli/home/xml/deliverables/metadata/d3b.xml diff --git a/helm/mowgli/home/xml/deliverables/project-management/d0a.xml b/helm/www/mowgli/home/xml/deliverables/project-management/d0a.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/project-management/d0a.xml rename to helm/www/mowgli/home/xml/deliverables/project-management/d0a.xml diff --git a/helm/mowgli/home/xml/deliverables/project-management/d0b.xml b/helm/www/mowgli/home/xml/deliverables/project-management/d0b.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/project-management/d0b.xml rename to helm/www/mowgli/home/xml/deliverables/project-management/d0b.xml diff --git a/helm/mowgli/home/xml/deliverables/project-management/d0c.xml b/helm/www/mowgli/home/xml/deliverables/project-management/d0c.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/project-management/d0c.xml rename to helm/www/mowgli/home/xml/deliverables/project-management/d0c.xml diff --git a/helm/mowgli/home/xml/deliverables/project-management/d0d.xml b/helm/www/mowgli/home/xml/deliverables/project-management/d0d.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/project-management/d0d.xml rename to helm/www/mowgli/home/xml/deliverables/project-management/d0d.xml diff --git a/helm/mowgli/home/xml/deliverables/requirement-analysis/d1a.xml b/helm/www/mowgli/home/xml/deliverables/requirement-analysis/d1a.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/requirement-analysis/d1a.xml rename to helm/www/mowgli/home/xml/deliverables/requirement-analysis/d1a.xml diff --git a/helm/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml b/helm/www/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml rename to helm/www/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml diff --git a/helm/mowgli/home/xml/deliverables/requirement-analysis/d1c.xml b/helm/www/mowgli/home/xml/deliverables/requirement-analysis/d1c.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/requirement-analysis/d1c.xml rename to helm/www/mowgli/home/xml/deliverables/requirement-analysis/d1c.xml diff --git a/helm/mowgli/home/xml/deliverables/testing-and-validation/d6a.xml b/helm/www/mowgli/home/xml/deliverables/testing-and-validation/d6a.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/testing-and-validation/d6a.xml rename to helm/www/mowgli/home/xml/deliverables/testing-and-validation/d6a.xml diff --git a/helm/mowgli/home/xml/deliverables/testing-and-validation/d6b.xml b/helm/www/mowgli/home/xml/deliverables/testing-and-validation/d6b.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/testing-and-validation/d6b.xml rename to helm/www/mowgli/home/xml/deliverables/testing-and-validation/d6b.xml diff --git a/helm/mowgli/home/xml/deliverables/testing-and-validation/d6c.xml b/helm/www/mowgli/home/xml/deliverables/testing-and-validation/d6c.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/testing-and-validation/d6c.xml rename to helm/www/mowgli/home/xml/deliverables/testing-and-validation/d6c.xml diff --git a/helm/mowgli/home/xml/deliverables/testing-and-validation/d6d.xml b/helm/www/mowgli/home/xml/deliverables/testing-and-validation/d6d.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/testing-and-validation/d6d.xml rename to helm/www/mowgli/home/xml/deliverables/testing-and-validation/d6d.xml diff --git a/helm/mowgli/home/xml/deliverables/transformation/d2a.xml b/helm/www/mowgli/home/xml/deliverables/transformation/d2a.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/transformation/d2a.xml rename to helm/www/mowgli/home/xml/deliverables/transformation/d2a.xml diff --git a/helm/mowgli/home/xml/deliverables/transformation/d2b.xml b/helm/www/mowgli/home/xml/deliverables/transformation/d2b.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/transformation/d2b.xml rename to helm/www/mowgli/home/xml/deliverables/transformation/d2b.xml diff --git a/helm/mowgli/home/xml/deliverables/transformation/d2c.xml b/helm/www/mowgli/home/xml/deliverables/transformation/d2c.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/transformation/d2c.xml rename to helm/www/mowgli/home/xml/deliverables/transformation/d2c.xml diff --git a/helm/mowgli/home/xml/deliverables/transformation/d2d.xml b/helm/www/mowgli/home/xml/deliverables/transformation/d2d.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/transformation/d2d.xml rename to helm/www/mowgli/home/xml/deliverables/transformation/d2d.xml diff --git a/helm/mowgli/home/xml/deliverables/transformation/d2e.xml b/helm/www/mowgli/home/xml/deliverables/transformation/d2e.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/transformation/d2e.xml rename to helm/www/mowgli/home/xml/deliverables/transformation/d2e.xml diff --git a/helm/mowgli/home/xml/deliverables/transformation/d2f.xml b/helm/www/mowgli/home/xml/deliverables/transformation/d2f.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/transformation/d2f.xml rename to helm/www/mowgli/home/xml/deliverables/transformation/d2f.xml diff --git a/helm/mowgli/home/xml/deliverables/transformation/d2g.xml b/helm/www/mowgli/home/xml/deliverables/transformation/d2g.xml similarity index 100% rename from helm/mowgli/home/xml/deliverables/transformation/d2g.xml rename to helm/www/mowgli/home/xml/deliverables/transformation/d2g.xml diff --git a/helm/mowgli/home/xml/home.xml b/helm/www/mowgli/home/xml/home.xml similarity index 100% rename from helm/mowgli/home/xml/home.xml rename to helm/www/mowgli/home/xml/home.xml diff --git a/helm/mowgli/home/xml/members-index.xml b/helm/www/mowgli/home/xml/members-index.xml similarity index 100% rename from helm/mowgli/home/xml/members-index.xml rename to helm/www/mowgli/home/xml/members-index.xml diff --git a/helm/mowgli/home/xml/members/kick-off.xml b/helm/www/mowgli/home/xml/members/kick-off.xml similarity index 100% rename from helm/mowgli/home/xml/members/kick-off.xml rename to helm/www/mowgli/home/xml/members/kick-off.xml diff --git a/helm/mowgli/home/xml/menu.xml b/helm/www/mowgli/home/xml/menu.xml similarity index 100% rename from helm/mowgli/home/xml/menu.xml rename to helm/www/mowgli/home/xml/menu.xml diff --git a/helm/mowgli/home/xml/mowgli-events.xml b/helm/www/mowgli/home/xml/mowgli-events.xml similarity index 100% rename from helm/mowgli/home/xml/mowgli-events.xml rename to helm/www/mowgli/home/xml/mowgli-events.xml diff --git a/helm/mowgli/home/xml/mowgli-events/kick-off.xml b/helm/www/mowgli/home/xml/mowgli-events/kick-off.xml similarity index 100% rename from helm/mowgli/home/xml/mowgli-events/kick-off.xml rename to helm/www/mowgli/home/xml/mowgli-events/kick-off.xml diff --git a/helm/mowgli/home/xml/mowgli-xhtml1-transitional.dtd b/helm/www/mowgli/home/xml/mowgli-xhtml1-transitional.dtd similarity index 100% rename from helm/mowgli/home/xml/mowgli-xhtml1-transitional.dtd rename to helm/www/mowgli/home/xml/mowgli-xhtml1-transitional.dtd diff --git a/helm/mowgli/home/xml/news.xml b/helm/www/mowgli/home/xml/news.xml similarity index 100% rename from helm/mowgli/home/xml/news.xml rename to helm/www/mowgli/home/xml/news.xml diff --git a/helm/mowgli/home/xml/other-events.xml b/helm/www/mowgli/home/xml/other-events.xml similarity index 100% rename from helm/mowgli/home/xml/other-events.xml rename to helm/www/mowgli/home/xml/other-events.xml diff --git a/helm/mowgli/home/xml/people/aei/kelley.xml b/helm/www/mowgli/home/xml/people/aei/kelley.xml similarity index 100% rename from helm/mowgli/home/xml/people/aei/kelley.xml rename to helm/www/mowgli/home/xml/people/aei/kelley.xml diff --git a/helm/mowgli/home/xml/people/aei/pollney.xml b/helm/www/mowgli/home/xml/people/aei/pollney.xml similarity index 100% rename from helm/mowgli/home/xml/people/aei/pollney.xml rename to helm/www/mowgli/home/xml/people/aei/pollney.xml diff --git a/helm/mowgli/home/xml/people/aei/schutz.xml b/helm/www/mowgli/home/xml/people/aei/schutz.xml similarity index 100% rename from helm/mowgli/home/xml/people/aei/schutz.xml rename to helm/www/mowgli/home/xml/people/aei/schutz.xml diff --git a/helm/mowgli/home/xml/people/aei/velden.xml b/helm/www/mowgli/home/xml/people/aei/velden.xml similarity index 100% rename from helm/mowgli/home/xml/people/aei/velden.xml rename to helm/www/mowgli/home/xml/people/aei/velden.xml diff --git a/helm/mowgli/home/xml/people/aei/wegner.xml b/helm/www/mowgli/home/xml/people/aei/wegner.xml similarity index 100% rename from helm/mowgli/home/xml/people/aei/wegner.xml rename to helm/www/mowgli/home/xml/people/aei/wegner.xml diff --git a/helm/mowgli/home/xml/people/aei/weyher.xml b/helm/www/mowgli/home/xml/people/aei/weyher.xml similarity index 100% rename from helm/mowgli/home/xml/people/aei/weyher.xml rename to helm/www/mowgli/home/xml/people/aei/weyher.xml diff --git a/helm/mowgli/home/xml/people/bologna/asperti.xml b/helm/www/mowgli/home/xml/people/bologna/asperti.xml similarity index 100% rename from helm/mowgli/home/xml/people/bologna/asperti.xml rename to helm/www/mowgli/home/xml/people/bologna/asperti.xml diff --git a/helm/mowgli/home/xml/people/bologna/guidi.xml b/helm/www/mowgli/home/xml/people/bologna/guidi.xml similarity index 100% rename from helm/mowgli/home/xml/people/bologna/guidi.xml rename to helm/www/mowgli/home/xml/people/bologna/guidi.xml diff --git a/helm/mowgli/home/xml/people/bologna/padovani.xml b/helm/www/mowgli/home/xml/people/bologna/padovani.xml similarity index 100% rename from helm/mowgli/home/xml/people/bologna/padovani.xml rename to helm/www/mowgli/home/xml/people/bologna/padovani.xml diff --git a/helm/mowgli/home/xml/people/bologna/sacerdoti.xml b/helm/www/mowgli/home/xml/people/bologna/sacerdoti.xml similarity index 100% rename from helm/mowgli/home/xml/people/bologna/sacerdoti.xml rename to helm/www/mowgli/home/xml/people/bologna/sacerdoti.xml diff --git a/helm/mowgli/home/xml/people/bologna/schena.xml b/helm/www/mowgli/home/xml/people/bologna/schena.xml similarity index 100% rename from helm/mowgli/home/xml/people/bologna/schena.xml rename to helm/www/mowgli/home/xml/people/bologna/schena.xml diff --git a/helm/mowgli/home/xml/people/dfki/goguadze.xml b/helm/www/mowgli/home/xml/people/dfki/goguadze.xml similarity index 100% rename from helm/mowgli/home/xml/people/dfki/goguadze.xml rename to helm/www/mowgli/home/xml/people/dfki/goguadze.xml diff --git a/helm/mowgli/home/xml/people/dfki/kohlhase.xml b/helm/www/mowgli/home/xml/people/dfki/kohlhase.xml similarity index 100% rename from helm/mowgli/home/xml/people/dfki/kohlhase.xml rename to helm/www/mowgli/home/xml/people/dfki/kohlhase.xml diff --git a/helm/mowgli/home/xml/people/dfki/libbrecht.xml b/helm/www/mowgli/home/xml/people/dfki/libbrecht.xml similarity index 100% rename from helm/mowgli/home/xml/people/dfki/libbrecht.xml rename to helm/www/mowgli/home/xml/people/dfki/libbrecht.xml diff --git a/helm/mowgli/home/xml/people/dfki/melis.xml b/helm/www/mowgli/home/xml/people/dfki/melis.xml similarity index 100% rename from helm/mowgli/home/xml/people/dfki/melis.xml rename to helm/www/mowgli/home/xml/people/dfki/melis.xml diff --git a/helm/mowgli/home/xml/people/dfki/moschner.xml b/helm/www/mowgli/home/xml/people/dfki/moschner.xml similarity index 100% rename from helm/mowgli/home/xml/people/dfki/moschner.xml rename to helm/www/mowgli/home/xml/people/dfki/moschner.xml diff --git a/helm/mowgli/home/xml/people/dfki/siekmann.xml b/helm/www/mowgli/home/xml/people/dfki/siekmann.xml similarity index 100% rename from helm/mowgli/home/xml/people/dfki/siekmann.xml rename to helm/www/mowgli/home/xml/people/dfki/siekmann.xml diff --git a/helm/mowgli/home/xml/people/index.xml b/helm/www/mowgli/home/xml/people/index.xml similarity index 100% rename from helm/mowgli/home/xml/people/index.xml rename to helm/www/mowgli/home/xml/people/index.xml diff --git a/helm/mowgli/home/xml/people/inria/amerkad.xml b/helm/www/mowgli/home/xml/people/inria/amerkad.xml similarity index 100% rename from helm/mowgli/home/xml/people/inria/amerkad.xml rename to helm/www/mowgli/home/xml/people/inria/amerkad.xml diff --git a/helm/mowgli/home/xml/people/inria/bertot.xml b/helm/www/mowgli/home/xml/people/inria/bertot.xml similarity index 100% rename from helm/mowgli/home/xml/people/inria/bertot.xml rename to helm/www/mowgli/home/xml/people/inria/bertot.xml diff --git a/helm/mowgli/home/xml/people/inria/chicli.xml b/helm/www/mowgli/home/xml/people/inria/chicli.xml similarity index 100% rename from helm/mowgli/home/xml/people/inria/chicli.xml rename to helm/www/mowgli/home/xml/people/inria/chicli.xml diff --git a/helm/mowgli/home/xml/people/inria/delahaye.xml b/helm/www/mowgli/home/xml/people/inria/delahaye.xml similarity index 100% rename from helm/mowgli/home/xml/people/inria/delahaye.xml rename to helm/www/mowgli/home/xml/people/inria/delahaye.xml diff --git a/helm/mowgli/home/xml/people/inria/herbelin.xml b/helm/www/mowgli/home/xml/people/inria/herbelin.xml similarity index 100% rename from helm/mowgli/home/xml/people/inria/herbelin.xml rename to helm/www/mowgli/home/xml/people/inria/herbelin.xml diff --git a/helm/mowgli/home/xml/people/inria/naciri.xml b/helm/www/mowgli/home/xml/people/inria/naciri.xml similarity index 100% rename from helm/mowgli/home/xml/people/inria/naciri.xml rename to helm/www/mowgli/home/xml/people/inria/naciri.xml diff --git a/helm/mowgli/home/xml/people/inria/pottier.xml b/helm/www/mowgli/home/xml/people/inria/pottier.xml similarity index 100% rename from helm/mowgli/home/xml/people/inria/pottier.xml rename to helm/www/mowgli/home/xml/people/inria/pottier.xml diff --git a/helm/mowgli/home/xml/people/inria/rideau.xml b/helm/www/mowgli/home/xml/people/inria/rideau.xml similarity index 100% rename from helm/mowgli/home/xml/people/inria/rideau.xml rename to helm/www/mowgli/home/xml/people/inria/rideau.xml diff --git a/helm/mowgli/home/xml/people/inria/thery.xml b/helm/www/mowgli/home/xml/people/inria/thery.xml similarity index 100% rename from helm/mowgli/home/xml/people/inria/thery.xml rename to helm/www/mowgli/home/xml/people/inria/thery.xml diff --git a/helm/mowgli/home/xml/people/inria/werner.xml b/helm/www/mowgli/home/xml/people/inria/werner.xml similarity index 100% rename from helm/mowgli/home/xml/people/inria/werner.xml rename to helm/www/mowgli/home/xml/people/inria/werner.xml diff --git a/helm/mowgli/home/xml/people/nijmegen/barendregt.xml b/helm/www/mowgli/home/xml/people/nijmegen/barendregt.xml similarity index 100% rename from helm/mowgli/home/xml/people/nijmegen/barendregt.xml rename to helm/www/mowgli/home/xml/people/nijmegen/barendregt.xml diff --git a/helm/mowgli/home/xml/people/nijmegen/barreiro.xml b/helm/www/mowgli/home/xml/people/nijmegen/barreiro.xml similarity index 100% rename from helm/mowgli/home/xml/people/nijmegen/barreiro.xml rename to helm/www/mowgli/home/xml/people/nijmegen/barreiro.xml diff --git a/helm/mowgli/home/xml/people/nijmegen/cohen.xml b/helm/www/mowgli/home/xml/people/nijmegen/cohen.xml similarity index 100% rename from helm/mowgli/home/xml/people/nijmegen/cohen.xml rename to helm/www/mowgli/home/xml/people/nijmegen/cohen.xml diff --git a/helm/mowgli/home/xml/people/nijmegen/cruz-filipe.xml b/helm/www/mowgli/home/xml/people/nijmegen/cruz-filipe.xml similarity index 100% rename from helm/mowgli/home/xml/people/nijmegen/cruz-filipe.xml rename to helm/www/mowgli/home/xml/people/nijmegen/cruz-filipe.xml diff --git a/helm/mowgli/home/xml/people/nijmegen/geuvers.xml b/helm/www/mowgli/home/xml/people/nijmegen/geuvers.xml similarity index 100% rename from helm/mowgli/home/xml/people/nijmegen/geuvers.xml rename to helm/www/mowgli/home/xml/people/nijmegen/geuvers.xml diff --git a/helm/mowgli/home/xml/people/nijmegen/niqui.xml b/helm/www/mowgli/home/xml/people/nijmegen/niqui.xml similarity index 100% rename from helm/mowgli/home/xml/people/nijmegen/niqui.xml rename to helm/www/mowgli/home/xml/people/nijmegen/niqui.xml diff --git a/helm/mowgli/home/xml/people/nijmegen/stein.xml b/helm/www/mowgli/home/xml/people/nijmegen/stein.xml similarity index 100% rename from helm/mowgli/home/xml/people/nijmegen/stein.xml rename to helm/www/mowgli/home/xml/people/nijmegen/stein.xml diff --git a/helm/mowgli/home/xml/people/nijmegen/synek.xml b/helm/www/mowgli/home/xml/people/nijmegen/synek.xml similarity index 100% rename from helm/mowgli/home/xml/people/nijmegen/synek.xml rename to helm/www/mowgli/home/xml/people/nijmegen/synek.xml diff --git a/helm/mowgli/home/xml/people/nijmegen/wiedijk.xml b/helm/www/mowgli/home/xml/people/nijmegen/wiedijk.xml similarity index 100% rename from helm/mowgli/home/xml/people/nijmegen/wiedijk.xml rename to helm/www/mowgli/home/xml/people/nijmegen/wiedijk.xml diff --git a/helm/mowgli/home/xml/people/person.dtd b/helm/www/mowgli/home/xml/people/person.dtd similarity index 100% rename from helm/mowgli/home/xml/people/person.dtd rename to helm/www/mowgli/home/xml/people/person.dtd diff --git a/helm/mowgli/home/xml/people/trusted-logic/bolignano.xml b/helm/www/mowgli/home/xml/people/trusted-logic/bolignano.xml similarity index 100% rename from helm/mowgli/home/xml/people/trusted-logic/bolignano.xml rename to helm/www/mowgli/home/xml/people/trusted-logic/bolignano.xml diff --git a/helm/mowgli/home/xml/people/trusted-logic/gimenez.xml b/helm/www/mowgli/home/xml/people/trusted-logic/gimenez.xml similarity index 100% rename from helm/mowgli/home/xml/people/trusted-logic/gimenez.xml rename to helm/www/mowgli/home/xml/people/trusted-logic/gimenez.xml diff --git a/helm/mowgli/home/xml/people/trusted-logic/loiseaux.xml b/helm/www/mowgli/home/xml/people/trusted-logic/loiseaux.xml similarity index 100% rename from helm/mowgli/home/xml/people/trusted-logic/loiseaux.xml rename to helm/www/mowgli/home/xml/people/trusted-logic/loiseaux.xml diff --git a/helm/mowgli/home/xml/project.xml b/helm/www/mowgli/home/xml/project.xml similarity index 100% rename from helm/mowgli/home/xml/project.xml rename to helm/www/mowgli/home/xml/project.xml diff --git a/helm/mowgli/home/xml/proposal/EC-contribution.xml b/helm/www/mowgli/home/xml/proposal/EC-contribution.xml similarity index 100% rename from helm/mowgli/home/xml/proposal/EC-contribution.xml rename to helm/www/mowgli/home/xml/proposal/EC-contribution.xml diff --git a/helm/mowgli/home/xml/proposal/contribution.xml b/helm/www/mowgli/home/xml/proposal/contribution.xml similarity index 100% rename from helm/mowgli/home/xml/proposal/contribution.xml rename to helm/www/mowgli/home/xml/proposal/contribution.xml diff --git a/helm/mowgli/home/xml/proposal/econ-scient-tech-prospects.xml b/helm/www/mowgli/home/xml/proposal/econ-scient-tech-prospects.xml similarity index 100% rename from helm/mowgli/home/xml/proposal/econ-scient-tech-prospects.xml rename to helm/www/mowgli/home/xml/proposal/econ-scient-tech-prospects.xml diff --git a/helm/mowgli/home/xml/proposal/innovation.xml b/helm/www/mowgli/home/xml/proposal/innovation.xml similarity index 100% rename from helm/mowgli/home/xml/proposal/innovation.xml rename to helm/www/mowgli/home/xml/proposal/innovation.xml diff --git a/helm/mowgli/home/xml/proposal/project-components.xml b/helm/www/mowgli/home/xml/proposal/project-components.xml similarity index 100% rename from helm/mowgli/home/xml/proposal/project-components.xml rename to helm/www/mowgli/home/xml/proposal/project-components.xml diff --git a/helm/mowgli/home/xml/proposal/project-management.xml b/helm/www/mowgli/home/xml/proposal/project-management.xml similarity index 100% rename from helm/mowgli/home/xml/proposal/project-management.xml rename to helm/www/mowgli/home/xml/proposal/project-management.xml diff --git a/helm/mowgli/home/xml/proposal/project-objectives.xml b/helm/www/mowgli/home/xml/proposal/project-objectives.xml similarity index 100% rename from helm/mowgli/home/xml/proposal/project-objectives.xml rename to helm/www/mowgli/home/xml/proposal/project-objectives.xml diff --git a/helm/mowgli/home/xml/proposal/project-planning.xml b/helm/www/mowgli/home/xml/proposal/project-planning.xml similarity index 100% rename from helm/mowgli/home/xml/proposal/project-planning.xml rename to helm/www/mowgli/home/xml/proposal/project-planning.xml diff --git a/helm/mowgli/home/xml/proposal/project-summary.xml b/helm/www/mowgli/home/xml/proposal/project-summary.xml similarity index 100% rename from helm/mowgli/home/xml/proposal/project-summary.xml rename to helm/www/mowgli/home/xml/proposal/project-summary.xml diff --git a/helm/mowgli/home/xml/publications/index.xml b/helm/www/mowgli/home/xml/publications/index.xml similarity index 100% rename from helm/mowgli/home/xml/publications/index.xml rename to helm/www/mowgli/home/xml/publications/index.xml diff --git a/helm/mowgli/home/xml/publications/mowgli/crimea2002_aw.xml b/helm/www/mowgli/home/xml/publications/mowgli/crimea2002_aw.xml similarity index 100% rename from helm/mowgli/home/xml/publications/mowgli/crimea2002_aw.xml rename to helm/www/mowgli/home/xml/publications/mowgli/crimea2002_aw.xml diff --git a/helm/mowgli/home/xml/publications/mowgli/crimea2002_aw_on_line.xml b/helm/www/mowgli/home/xml/publications/mowgli/crimea2002_aw_on_line.xml similarity index 100% rename from helm/mowgli/home/xml/publications/mowgli/crimea2002_aw_on_line.xml rename to helm/www/mowgli/home/xml/publications/mowgli/crimea2002_aw_on_line.xml diff --git a/helm/mowgli/home/xml/publications/others/category_al.xml b/helm/www/mowgli/home/xml/publications/others/category_al.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/category_al.xml rename to helm/www/mowgli/home/xml/publications/others/category_al.xml diff --git a/helm/mowgli/home/xml/publications/others/cc.xml b/helm/www/mowgli/home/xml/publications/others/cc.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/cc.xml rename to helm/www/mowgli/home/xml/publications/others/cc.xml diff --git a/helm/mowgli/home/xml/publications/others/crimea2001_apss.xml b/helm/www/mowgli/home/xml/publications/others/crimea2001_apss.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/crimea2001_apss.xml rename to helm/www/mowgli/home/xml/publications/others/crimea2001_apss.xml diff --git a/helm/mowgli/home/xml/publications/others/cup_hp91.xml b/helm/www/mowgli/home/xml/publications/others/cup_hp91.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/cup_hp91.xml rename to helm/www/mowgli/home/xml/publications/others/cup_hp91.xml diff --git a/helm/mowgli/home/xml/publications/others/cup_hp93.xml b/helm/www/mowgli/home/xml/publications/others/cup_hp93.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/cup_hp93.xml rename to helm/www/mowgli/home/xml/publications/others/cup_hp93.xml diff --git a/helm/mowgli/home/xml/publications/others/cup_s.xml b/helm/www/mowgli/home/xml/publications/others/cup_s.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/cup_s.xml rename to helm/www/mowgli/home/xml/publications/others/cup_s.xml diff --git a/helm/mowgli/home/xml/publications/others/cup_s2.xml b/helm/www/mowgli/home/xml/publications/others/cup_s2.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/cup_s2.xml rename to helm/www/mowgli/home/xml/publications/others/cup_s2.xml diff --git a/helm/mowgli/home/xml/publications/others/extreme2001_apss.xml b/helm/www/mowgli/home/xml/publications/others/extreme2001_apss.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/extreme2001_apss.xml rename to helm/www/mowgli/home/xml/publications/others/extreme2001_apss.xml diff --git a/helm/mowgli/home/xml/publications/others/har_bg.xml b/helm/www/mowgli/home/xml/publications/others/har_bg.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/har_bg.xml rename to helm/www/mowgli/home/xml/publications/others/har_bg.xml diff --git a/helm/mowgli/home/xml/publications/others/jep_ws.xml b/helm/www/mowgli/home/xml/publications/others/jep_ws.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/jep_ws.xml rename to helm/www/mowgli/home/xml/publications/others/jep_ws.xml diff --git a/helm/mowgli/home/xml/publications/others/jep_wwsw.xml b/helm/www/mowgli/home/xml/publications/others/jep_wwsw.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/jep_wwsw.xml rename to helm/www/mowgli/home/xml/publications/others/jep_wwsw.xml diff --git a/helm/mowgli/home/xml/publications/others/jlp2001_scg.xml b/helm/www/mowgli/home/xml/publications/others/jlp2001_scg.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/jlp2001_scg.xml rename to helm/www/mowgli/home/xml/publications/others/jlp2001_scg.xml diff --git a/helm/mowgli/home/xml/publications/others/mathml2000_apss.xml b/helm/www/mowgli/home/xml/publications/others/mathml2000_apss.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/mathml2000_apss.xml rename to helm/www/mowgli/home/xml/publications/others/mathml2000_apss.xml diff --git a/helm/mowgli/home/xml/publications/others/mscs_gb.xml b/helm/www/mowgli/home/xml/publications/others/mscs_gb.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/mscs_gb.xml rename to helm/www/mowgli/home/xml/publications/others/mscs_gb.xml diff --git a/helm/mowgli/home/xml/publications/others/publication.dtd b/helm/www/mowgli/home/xml/publications/others/publication.dtd similarity index 100% rename from helm/mowgli/home/xml/publications/others/publication.dtd rename to helm/www/mowgli/home/xml/publications/others/publication.dtd diff --git a/helm/mowgli/home/xml/publications/others/tcs2001_og.xml b/helm/www/mowgli/home/xml/publications/others/tcs2001_og.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/tcs2001_og.xml rename to helm/www/mowgli/home/xml/publications/others/tcs2001_og.xml diff --git a/helm/mowgli/home/xml/publications/others/tphols2000_gwz.xml b/helm/www/mowgli/home/xml/publications/others/tphols2000_gwz.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/tphols2000_gwz.xml rename to helm/www/mowgli/home/xml/publications/others/tphols2000_gwz.xml diff --git a/helm/mowgli/home/xml/publications/others/tphols2001_apss.xml b/helm/www/mowgli/home/xml/publications/others/tphols2001_apss.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/tphols2001_apss.xml rename to helm/www/mowgli/home/xml/publications/others/tphols2001_apss.xml diff --git a/helm/mowgli/home/xml/publications/others/w3c_bl98.xml b/helm/www/mowgli/home/xml/publications/others/w3c_bl98.xml similarity index 100% rename from helm/mowgli/home/xml/publications/others/w3c_bl98.xml rename to helm/www/mowgli/home/xml/publications/others/w3c_bl98.xml diff --git a/helm/mowgli/home/xml/sites/aei.xml b/helm/www/mowgli/home/xml/sites/aei.xml similarity index 100% rename from helm/mowgli/home/xml/sites/aei.xml rename to helm/www/mowgli/home/xml/sites/aei.xml diff --git a/helm/mowgli/home/xml/sites/bologna.xml b/helm/www/mowgli/home/xml/sites/bologna.xml similarity index 100% rename from helm/mowgli/home/xml/sites/bologna.xml rename to helm/www/mowgli/home/xml/sites/bologna.xml diff --git a/helm/mowgli/home/xml/sites/dfki.xml b/helm/www/mowgli/home/xml/sites/dfki.xml similarity index 100% rename from helm/mowgli/home/xml/sites/dfki.xml rename to helm/www/mowgli/home/xml/sites/dfki.xml diff --git a/helm/mowgli/home/xml/sites/inria.xml b/helm/www/mowgli/home/xml/sites/inria.xml similarity index 100% rename from helm/mowgli/home/xml/sites/inria.xml rename to helm/www/mowgli/home/xml/sites/inria.xml diff --git a/helm/mowgli/home/xml/sites/nijmegen.xml b/helm/www/mowgli/home/xml/sites/nijmegen.xml similarity index 100% rename from helm/mowgli/home/xml/sites/nijmegen.xml rename to helm/www/mowgli/home/xml/sites/nijmegen.xml diff --git a/helm/mowgli/home/xml/sites/site.dtd b/helm/www/mowgli/home/xml/sites/site.dtd similarity index 100% rename from helm/mowgli/home/xml/sites/site.dtd rename to helm/www/mowgli/home/xml/sites/site.dtd diff --git a/helm/mowgli/home/xml/sites/trusted-logic.xml b/helm/www/mowgli/home/xml/sites/trusted-logic.xml similarity index 100% rename from helm/mowgli/home/xml/sites/trusted-logic.xml rename to helm/www/mowgli/home/xml/sites/trusted-logic.xml diff --git a/helm/mowgli/home/xml/slides/mowgligroup.xml b/helm/www/mowgli/home/xml/slides/mowgligroup.xml similarity index 100% rename from helm/mowgli/home/xml/slides/mowgligroup.xml rename to helm/www/mowgli/home/xml/slides/mowgligroup.xml diff --git a/helm/mowgli/home/xml/software/index.xml b/helm/www/mowgli/home/xml/software/index.xml similarity index 100% rename from helm/mowgli/home/xml/software/index.xml rename to helm/www/mowgli/home/xml/software/index.xml diff --git a/helm/mowgli/home/xml/work-packages/distribution.xml b/helm/www/mowgli/home/xml/work-packages/distribution.xml similarity index 100% rename from helm/mowgli/home/xml/work-packages/distribution.xml rename to helm/www/mowgli/home/xml/work-packages/distribution.xml diff --git a/helm/mowgli/home/xml/work-packages/index.xml b/helm/www/mowgli/home/xml/work-packages/index.xml similarity index 100% rename from helm/mowgli/home/xml/work-packages/index.xml rename to helm/www/mowgli/home/xml/work-packages/index.xml diff --git a/helm/mowgli/home/xml/work-packages/information-dissemination-and-exploitation.xml b/helm/www/mowgli/home/xml/work-packages/information-dissemination-and-exploitation.xml similarity index 100% rename from helm/mowgli/home/xml/work-packages/information-dissemination-and-exploitation.xml rename to helm/www/mowgli/home/xml/work-packages/information-dissemination-and-exploitation.xml diff --git a/helm/mowgli/home/xml/work-packages/interfaces.xml b/helm/www/mowgli/home/xml/work-packages/interfaces.xml similarity index 100% rename from helm/mowgli/home/xml/work-packages/interfaces.xml rename to helm/www/mowgli/home/xml/work-packages/interfaces.xml diff --git a/helm/mowgli/home/xml/work-packages/metadata.xml b/helm/www/mowgli/home/xml/work-packages/metadata.xml similarity index 100% rename from helm/mowgli/home/xml/work-packages/metadata.xml rename to helm/www/mowgli/home/xml/work-packages/metadata.xml diff --git a/helm/mowgli/home/xml/work-packages/project-management.xml b/helm/www/mowgli/home/xml/work-packages/project-management.xml similarity index 100% rename from helm/mowgli/home/xml/work-packages/project-management.xml rename to helm/www/mowgli/home/xml/work-packages/project-management.xml diff --git a/helm/mowgli/home/xml/work-packages/requirement-analysis.xml b/helm/www/mowgli/home/xml/work-packages/requirement-analysis.xml similarity index 100% rename from helm/mowgli/home/xml/work-packages/requirement-analysis.xml rename to helm/www/mowgli/home/xml/work-packages/requirement-analysis.xml diff --git a/helm/mowgli/home/xml/work-packages/testing-and-validation.xml b/helm/www/mowgli/home/xml/work-packages/testing-and-validation.xml similarity index 100% rename from helm/mowgli/home/xml/work-packages/testing-and-validation.xml rename to helm/www/mowgli/home/xml/work-packages/testing-and-validation.xml diff --git a/helm/mowgli/home/xml/work-packages/transformation.xml b/helm/www/mowgli/home/xml/work-packages/transformation.xml similarity index 100% rename from helm/mowgli/home/xml/work-packages/transformation.xml rename to helm/www/mowgli/home/xml/work-packages/transformation.xml diff --git a/helm/mowgli/home/xml/work-packages/work-package.dtd b/helm/www/mowgli/home/xml/work-packages/work-package.dtd similarity index 100% rename from helm/mowgli/home/xml/work-packages/work-package.dtd rename to helm/www/mowgli/home/xml/work-packages/work-package.dtd diff --git a/helm/mowgli/home/xsl/approaching-deadlines.xsl b/helm/www/mowgli/home/xsl/approaching-deadlines.xsl similarity index 100% rename from helm/mowgli/home/xsl/approaching-deadlines.xsl rename to helm/www/mowgli/home/xsl/approaching-deadlines.xsl diff --git a/helm/mowgli/home/xsl/common.xsl b/helm/www/mowgli/home/xsl/common.xsl similarity index 100% rename from helm/mowgli/home/xsl/common.xsl rename to helm/www/mowgli/home/xsl/common.xsl diff --git a/helm/mowgli/home/xsl/consortium.xsl b/helm/www/mowgli/home/xsl/consortium.xsl similarity index 100% rename from helm/mowgli/home/xsl/consortium.xsl rename to helm/www/mowgli/home/xsl/consortium.xsl diff --git a/helm/mowgli/home/xsl/deadlines.xsl b/helm/www/mowgli/home/xsl/deadlines.xsl similarity index 100% rename from helm/mowgli/home/xsl/deadlines.xsl rename to helm/www/mowgli/home/xsl/deadlines.xsl diff --git a/helm/mowgli/home/xsl/deliverable.xsl b/helm/www/mowgli/home/xsl/deliverable.xsl similarity index 100% rename from helm/mowgli/home/xsl/deliverable.xsl rename to helm/www/mowgli/home/xsl/deliverable.xsl diff --git a/helm/mowgli/home/xsl/events.xsl b/helm/www/mowgli/home/xsl/events.xsl similarity index 100% rename from helm/mowgli/home/xsl/events.xsl rename to helm/www/mowgli/home/xsl/events.xsl diff --git a/helm/mowgli/home/xsl/latest-news.xsl b/helm/www/mowgli/home/xsl/latest-news.xsl similarity index 100% rename from helm/mowgli/home/xsl/latest-news.xsl rename to helm/www/mowgli/home/xsl/latest-news.xsl diff --git a/helm/mowgli/home/xsl/management.xsl b/helm/www/mowgli/home/xsl/management.xsl similarity index 100% rename from helm/mowgli/home/xsl/management.xsl rename to helm/www/mowgli/home/xsl/management.xsl diff --git a/helm/mowgli/home/xsl/minutes.xsl b/helm/www/mowgli/home/xsl/minutes.xsl similarity index 100% rename from helm/mowgli/home/xsl/minutes.xsl rename to helm/www/mowgli/home/xsl/minutes.xsl diff --git a/helm/mowgli/home/xsl/news.xsl b/helm/www/mowgli/home/xsl/news.xsl similarity index 100% rename from helm/mowgli/home/xsl/news.xsl rename to helm/www/mowgli/home/xsl/news.xsl diff --git a/helm/mowgli/home/xsl/people-list.xsl b/helm/www/mowgli/home/xsl/people-list.xsl similarity index 100% rename from helm/mowgli/home/xsl/people-list.xsl rename to helm/www/mowgli/home/xsl/people-list.xsl diff --git a/helm/mowgli/home/xsl/person.xsl b/helm/www/mowgli/home/xsl/person.xsl similarity index 100% rename from helm/mowgli/home/xsl/person.xsl rename to helm/www/mowgli/home/xsl/person.xsl diff --git a/helm/mowgli/home/xsl/project.xsl b/helm/www/mowgli/home/xsl/project.xsl similarity index 100% rename from helm/mowgli/home/xsl/project.xsl rename to helm/www/mowgli/home/xsl/project.xsl diff --git a/helm/mowgli/home/xsl/publication.xsl b/helm/www/mowgli/home/xsl/publication.xsl similarity index 100% rename from helm/mowgli/home/xsl/publication.xsl rename to helm/www/mowgli/home/xsl/publication.xsl diff --git a/helm/mowgli/home/xsl/publications-index.xsl b/helm/www/mowgli/home/xsl/publications-index.xsl similarity index 100% rename from helm/mowgli/home/xsl/publications-index.xsl rename to helm/www/mowgli/home/xsl/publications-index.xsl diff --git a/helm/mowgli/home/xsl/site.xsl b/helm/www/mowgli/home/xsl/site.xsl similarity index 100% rename from helm/mowgli/home/xsl/site.xsl rename to helm/www/mowgli/home/xsl/site.xsl diff --git a/helm/mowgli/home/xsl/work-package.xsl b/helm/www/mowgli/home/xsl/work-package.xsl similarity index 100% rename from helm/mowgli/home/xsl/work-package.xsl rename to helm/www/mowgli/home/xsl/work-package.xsl diff --git a/helm/mowgli/home/xsl/work-packages_index.xsl b/helm/www/mowgli/home/xsl/work-packages_index.xsl similarity index 100% rename from helm/mowgli/home/xsl/work-packages_index.xsl rename to helm/www/mowgli/home/xsl/work-packages_index.xsl diff --git a/helm/mowgli/home/xsl/xhtml-content.xsl b/helm/www/mowgli/home/xsl/xhtml-content.xsl similarity index 100% rename from helm/mowgli/home/xsl/xhtml-content.xsl rename to helm/www/mowgli/home/xsl/xhtml-content.xsl diff --git a/helm/dtd/annotations.dtd b/helm/xml/dtd/annotations.dtd similarity index 100% rename from helm/dtd/annotations.dtd rename to helm/xml/dtd/annotations.dtd diff --git a/helm/dtd/backward.dtd b/helm/xml/dtd/backward.dtd similarity index 100% rename from helm/dtd/backward.dtd rename to helm/xml/dtd/backward.dtd diff --git a/helm/dtd/cic.dtd b/helm/xml/dtd/cic.dtd similarity index 100% rename from helm/dtd/cic.dtd rename to helm/xml/dtd/cic.dtd diff --git a/helm/dtd/cicobject.dtd b/helm/xml/dtd/cicobject.dtd similarity index 100% rename from helm/dtd/cicobject.dtd rename to helm/xml/dtd/cicobject.dtd diff --git a/helm/dtd/cictypes.dtd b/helm/xml/dtd/cictypes.dtd similarity index 100% rename from helm/dtd/cictypes.dtd rename to helm/xml/dtd/cictypes.dtd diff --git a/helm/dtd/forward.dtd b/helm/xml/dtd/forward.dtd similarity index 100% rename from helm/dtd/forward.dtd rename to helm/xml/dtd/forward.dtd diff --git a/helm/dtd/isoamsa.ent b/helm/xml/dtd/isoamsa.ent similarity index 100% rename from helm/dtd/isoamsa.ent rename to helm/xml/dtd/isoamsa.ent diff --git a/helm/dtd/isoamsb.ent b/helm/xml/dtd/isoamsb.ent similarity index 100% rename from helm/dtd/isoamsb.ent rename to helm/xml/dtd/isoamsb.ent diff --git a/helm/dtd/isoamsc.ent b/helm/xml/dtd/isoamsc.ent similarity index 100% rename from helm/dtd/isoamsc.ent rename to helm/xml/dtd/isoamsc.ent diff --git a/helm/dtd/isoamsn.ent b/helm/xml/dtd/isoamsn.ent similarity index 100% rename from helm/dtd/isoamsn.ent rename to helm/xml/dtd/isoamsn.ent diff --git a/helm/dtd/isoamso.ent b/helm/xml/dtd/isoamso.ent similarity index 100% rename from helm/dtd/isoamso.ent rename to helm/xml/dtd/isoamso.ent diff --git a/helm/dtd/isoamsr.ent b/helm/xml/dtd/isoamsr.ent similarity index 100% rename from helm/dtd/isoamsr.ent rename to helm/xml/dtd/isoamsr.ent diff --git a/helm/dtd/isobox.ent b/helm/xml/dtd/isobox.ent similarity index 100% rename from helm/dtd/isobox.ent rename to helm/xml/dtd/isobox.ent diff --git a/helm/dtd/isocyr1.ent b/helm/xml/dtd/isocyr1.ent similarity index 100% rename from helm/dtd/isocyr1.ent rename to helm/xml/dtd/isocyr1.ent diff --git a/helm/dtd/isocyr2.ent b/helm/xml/dtd/isocyr2.ent similarity index 100% rename from helm/dtd/isocyr2.ent rename to helm/xml/dtd/isocyr2.ent diff --git a/helm/dtd/isodia.ent b/helm/xml/dtd/isodia.ent similarity index 100% rename from helm/dtd/isodia.ent rename to helm/xml/dtd/isodia.ent diff --git a/helm/dtd/isogrk3.ent b/helm/xml/dtd/isogrk3.ent similarity index 100% rename from helm/dtd/isogrk3.ent rename to helm/xml/dtd/isogrk3.ent diff --git a/helm/dtd/isolat1.ent b/helm/xml/dtd/isolat1.ent similarity index 100% rename from helm/dtd/isolat1.ent rename to helm/xml/dtd/isolat1.ent diff --git a/helm/dtd/isolat2.ent b/helm/xml/dtd/isolat2.ent similarity index 100% rename from helm/dtd/isolat2.ent rename to helm/xml/dtd/isolat2.ent diff --git a/helm/dtd/isomfrk.ent b/helm/xml/dtd/isomfrk.ent similarity index 100% rename from helm/dtd/isomfrk.ent rename to helm/xml/dtd/isomfrk.ent diff --git a/helm/dtd/isomopf.ent b/helm/xml/dtd/isomopf.ent similarity index 100% rename from helm/dtd/isomopf.ent rename to helm/xml/dtd/isomopf.ent diff --git a/helm/dtd/isomscr.ent b/helm/xml/dtd/isomscr.ent similarity index 100% rename from helm/dtd/isomscr.ent rename to helm/xml/dtd/isomscr.ent diff --git a/helm/dtd/isonum.ent b/helm/xml/dtd/isonum.ent similarity index 100% rename from helm/dtd/isonum.ent rename to helm/xml/dtd/isonum.ent diff --git a/helm/dtd/isopub.ent b/helm/xml/dtd/isopub.ent similarity index 100% rename from helm/dtd/isopub.ent rename to helm/xml/dtd/isopub.ent diff --git a/helm/dtd/isotech.ent b/helm/xml/dtd/isotech.ent similarity index 100% rename from helm/dtd/isotech.ent rename to helm/xml/dtd/isotech.ent diff --git a/helm/dtd/ls.dtd b/helm/xml/dtd/ls.dtd similarity index 100% rename from helm/dtd/ls.dtd rename to helm/xml/dtd/ls.dtd diff --git a/helm/dtd/mathml2-qname-1.mod b/helm/xml/dtd/mathml2-qname-1.mod similarity index 100% rename from helm/dtd/mathml2-qname-1.mod rename to helm/xml/dtd/mathml2-qname-1.mod diff --git a/helm/dtd/mathml2.dtd b/helm/xml/dtd/mathml2.dtd similarity index 100% rename from helm/dtd/mathml2.dtd rename to helm/xml/dtd/mathml2.dtd diff --git a/helm/dtd/maththeory.dtd b/helm/xml/dtd/maththeory.dtd similarity index 100% rename from helm/dtd/maththeory.dtd rename to helm/xml/dtd/maththeory.dtd diff --git a/helm/dtd/mmlalias.ent b/helm/xml/dtd/mmlalias.ent similarity index 100% rename from helm/dtd/mmlalias.ent rename to helm/xml/dtd/mmlalias.ent diff --git a/helm/dtd/mmlextra.ent b/helm/xml/dtd/mmlextra.ent similarity index 100% rename from helm/dtd/mmlextra.ent rename to helm/xml/dtd/mmlextra.ent diff --git a/helm/dtd/theoryobject.dtd b/helm/xml/dtd/theoryobject.dtd similarity index 100% rename from helm/dtd/theoryobject.dtd rename to helm/xml/dtd/theoryobject.dtd diff --git a/helm/dtd/xhtml-lat1.ent b/helm/xml/dtd/xhtml-lat1.ent similarity index 100% rename from helm/dtd/xhtml-lat1.ent rename to helm/xml/dtd/xhtml-lat1.ent diff --git a/helm/dtd/xhtml-special.ent b/helm/xml/dtd/xhtml-special.ent similarity index 100% rename from helm/dtd/xhtml-special.ent rename to helm/xml/dtd/xhtml-special.ent diff --git a/helm/dtd/xhtml-symbol.ent b/helm/xml/dtd/xhtml-symbol.ent similarity index 100% rename from helm/dtd/xhtml-symbol.ent rename to helm/xml/dtd/xhtml-symbol.ent diff --git a/helm/nuprl_stylesheets/nuprl_abstract.xsl b/helm/xml/nuprl_stylesheets/nuprl_abstract.xsl similarity index 100% rename from helm/nuprl_stylesheets/nuprl_abstract.xsl rename to helm/xml/nuprl_stylesheets/nuprl_abstract.xsl diff --git a/helm/nuprl_stylesheets/nuprl_annotatedpres.xsl b/helm/xml/nuprl_stylesheets/nuprl_annotatedpres.xsl similarity index 100% rename from helm/nuprl_stylesheets/nuprl_annotatedpres.xsl rename to helm/xml/nuprl_stylesheets/nuprl_annotatedpres.xsl diff --git a/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl b/helm/xml/nuprl_stylesheets/nuprl_content_to_html2.xsl similarity index 100% rename from helm/nuprl_stylesheets/nuprl_content_to_html2.xsl rename to helm/xml/nuprl_stylesheets/nuprl_content_to_html2.xsl diff --git a/helm/nuprl_stylesheets/nuprl_expand.xsl b/helm/xml/nuprl_stylesheets/nuprl_expand.xsl similarity index 100% rename from helm/nuprl_stylesheets/nuprl_expand.xsl rename to helm/xml/nuprl_stylesheets/nuprl_expand.xsl diff --git a/helm/nuprl_stylesheets/nuprl_html_arith.xsl b/helm/xml/nuprl_stylesheets/nuprl_html_arith.xsl similarity index 100% rename from helm/nuprl_stylesheets/nuprl_html_arith.xsl rename to helm/xml/nuprl_stylesheets/nuprl_html_arith.xsl diff --git a/helm/nuprl_stylesheets/nuprl_html_basic.xsl b/helm/xml/nuprl_stylesheets/nuprl_html_basic.xsl similarity index 100% rename from helm/nuprl_stylesheets/nuprl_html_basic.xsl rename to helm/xml/nuprl_stylesheets/nuprl_html_basic.xsl diff --git a/helm/nuprl_stylesheets/nuprl_link.xsl b/helm/xml/nuprl_stylesheets/nuprl_link.xsl similarity index 100% rename from helm/nuprl_stylesheets/nuprl_link.xsl rename to helm/xml/nuprl_stylesheets/nuprl_link.xsl diff --git a/helm/nuprl_stylesheets/nuprl_links_library.xsl b/helm/xml/nuprl_stylesheets/nuprl_links_library.xsl similarity index 100% rename from helm/nuprl_stylesheets/nuprl_links_library.xsl rename to helm/xml/nuprl_stylesheets/nuprl_links_library.xsl diff --git a/helm/nuprl_stylesheets/nuprl_mmlextension.xsl b/helm/xml/nuprl_stylesheets/nuprl_mmlextension.xsl similarity index 100% rename from helm/nuprl_stylesheets/nuprl_mmlextension.xsl rename to helm/xml/nuprl_stylesheets/nuprl_mmlextension.xsl diff --git a/helm/nuprl_stylesheets/nuprl_proof.xsl b/helm/xml/nuprl_stylesheets/nuprl_proof.xsl similarity index 100% rename from helm/nuprl_stylesheets/nuprl_proof.xsl rename to helm/xml/nuprl_stylesheets/nuprl_proof.xsl diff --git a/helm/nuprl_stylesheets/nuprl_rules.xsl b/helm/xml/nuprl_stylesheets/nuprl_rules.xsl similarity index 100% rename from helm/nuprl_stylesheets/nuprl_rules.xsl rename to helm/xml/nuprl_stylesheets/nuprl_rules.xsl diff --git a/helm/nuprl_stylesheets/nuprl_term.xsl b/helm/xml/nuprl_stylesheets/nuprl_term.xsl similarity index 100% rename from helm/nuprl_stylesheets/nuprl_term.xsl rename to helm/xml/nuprl_stylesheets/nuprl_term.xsl diff --git a/helm/nuprl_stylesheets/nuprl_tree.xsl b/helm/xml/nuprl_stylesheets/nuprl_tree.xsl similarity index 100% rename from helm/nuprl_stylesheets/nuprl_tree.xsl rename to helm/xml/nuprl_stylesheets/nuprl_tree.xsl diff --git a/helm/nuprl_stylesheets/xslt_index.txt b/helm/xml/nuprl_stylesheets/xslt_index.txt similarity index 100% rename from helm/nuprl_stylesheets/xslt_index.txt rename to helm/xml/nuprl_stylesheets/xslt_index.txt diff --git a/helm/schemas/13-dcagent b/helm/xml/schemas/13-dcagent similarity index 100% rename from helm/schemas/13-dcagent rename to helm/xml/schemas/13-dcagent diff --git a/helm/schemas/21-euler b/helm/xml/schemas/21-euler similarity index 100% rename from helm/schemas/21-euler rename to helm/xml/schemas/21-euler diff --git a/helm/schemas/dces b/helm/xml/schemas/dces similarity index 100% rename from helm/schemas/dces rename to helm/xml/schemas/dces diff --git a/helm/schemas/dcq b/helm/xml/schemas/dcq similarity index 100% rename from helm/schemas/dcq rename to helm/xml/schemas/dcq diff --git a/helm/schemas/dctype b/helm/xml/schemas/dctype similarity index 100% rename from helm/schemas/dctype rename to helm/xml/schemas/dctype diff --git a/helm/schemas/schema-h b/helm/xml/schemas/schema-h similarity index 100% rename from helm/schemas/schema-h rename to helm/xml/schemas/schema-h diff --git a/helm/schemas/schema-hth b/helm/xml/schemas/schema-hth similarity index 100% rename from helm/schemas/schema-hth rename to helm/xml/schemas/schema-hth -- 2.39.2