]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 05a7948) | patch
Initial commit of the XML/XSLT stuff.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 12 Feb 2002 18:11:02 +0000 (18:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 12 Feb 2002 18:11:02 +0000 (18:11 +0000)
commitd8ad1d26122af00feda930086b6cfa42de0139fe
tree52660916c8d9ed069e2266d66feb587bc0c94a18tree | snapshot
parent05a794861b74ec8463dadf49492a22e078cc73f6commit | diff
Initial commit of the XML/XSLT stuff.
The generated HTML files are not integrated with the rest of the site, yet.
73 files changed:
helm/mowgli/home/html/Makefile [new file with mode: 0644] blob
helm/mowgli/home/templates/home.html diff | blob | history
helm/mowgli/home/templates/menu.html diff | blob | history
helm/mowgli/home/xml/consortium.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/aei/kelley.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/aei/schutz.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/aei/velden.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/aei/wegner.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/bologna/asperti.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/bologna/guidi.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/bologna/padovani.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/bologna/sacerdoti.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/bologna/schena.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/dfki/kohlhase.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/dfki/melis.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/dfki/siekmann.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/inria/amerkad.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/inria/bertot.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/inria/chicli.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/inria/delahaye.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/inria/herbelin.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/inria/naciri.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/inria/pottier.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/inria/rideau.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/inria/thery.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/nijmegen/barendregt.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/nijmegen/barreiro.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/nijmegen/cohen.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/nijmegen/cruz-filipe.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/nijmegen/geuvers.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/nijmegen/niqui.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/nijmegen/stein.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/nijmegen/synek.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/nijmegen/wiedijk.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/people/person.dtd [new file with mode: 0644] blob
helm/mowgli/home/xml/people/trusted-logic/bolignano.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/project.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/category_al.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/crimea2001_apss.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/cup_s.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/cup_s2.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/extreme2001_apss.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/har_bg.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/jep_ws.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/jep_wwsw.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/jlp2001_scg.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/mathml2000_apss.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/mscs_gb.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/publication.dtd [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/tcs2001_og.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/tphols2000_gwz.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/tphols2001_apss.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/sites/aei.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/sites/bologna.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/sites/dfki.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/sites/inria.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/sites/nijmegen.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/sites/site.dtd [new file with mode: 0644] blob
helm/mowgli/home/xml/sites/trusted-logic.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/work-packages/distribution.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/work-packages/information-dissemination-and-exploitation.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/work-packages/interfaces.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/work-packages/metadata.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/work-packages/project-management.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/work-packages/requirement-analysis.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/work-packages/testing-and-validation.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/work-packages/transformation.xml [new file with mode: 0644] blob
helm/mowgli/home/xsl/consortium.xsl [new file with mode: 0644] blob
helm/mowgli/home/xsl/person.xsl [new file with mode: 0644] blob
helm/mowgli/home/xsl/project.xsl [new file with mode: 0644] blob
helm/mowgli/home/xsl/publication.xsl [new file with mode: 0644] blob
helm/mowgli/home/xsl/site.xsl [new file with mode: 0644] blob
helm/mowgli/home/xsl/work-package.xsl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.