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