]> matita.cs.unibo.it Git - helm.git/commit
Initial revision
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Nov 2000 11:40:00 +0000 (11:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Nov 2000 11:40:00 +0000 (11:40 +0000)
commiteecd02f892cd859e137c550aaa0f2668986c5f2b
tree577d5999481d075f072d58b8abff836dd3745829
parentfd4db850a90694f599e40b94f1fedee9c75c6202
Initial revision
34 files changed:
helm/cgi/mkindex.pl [new file with mode: 0755]
helm/dtd/annotations.dtd [new file with mode: 0644]
helm/dtd/cic.dtd [new file with mode: 0644]
helm/dtd/cicobject.dtd [new file with mode: 0644]
helm/dtd/isoamsa.ent [new file with mode: 0644]
helm/dtd/isoamsb.ent [new file with mode: 0644]
helm/dtd/isoamsc.ent [new file with mode: 0644]
helm/dtd/isoamsn.ent [new file with mode: 0644]
helm/dtd/isoamso.ent [new file with mode: 0644]
helm/dtd/isoamsr.ent [new file with mode: 0644]
helm/dtd/isobox.ent [new file with mode: 0644]
helm/dtd/isocyr1.ent [new file with mode: 0644]
helm/dtd/isocyr2.ent [new file with mode: 0644]
helm/dtd/isodia.ent [new file with mode: 0644]
helm/dtd/isogrk3.ent [new file with mode: 0644]
helm/dtd/isolat1.ent [new file with mode: 0644]
helm/dtd/isolat2.ent [new file with mode: 0644]
helm/dtd/isomfrk.ent [new file with mode: 0644]
helm/dtd/isomopf.ent [new file with mode: 0644]
helm/dtd/isomscr.ent [new file with mode: 0644]
helm/dtd/isonum.ent [new file with mode: 0644]
helm/dtd/isopub.ent [new file with mode: 0644]
helm/dtd/isotech.ent [new file with mode: 0644]
helm/dtd/mathml2-qname-1.mod [new file with mode: 0644]
helm/dtd/mathml2.dtd [new file with mode: 0644]
helm/dtd/maththeory.dtd [new file with mode: 0644]
helm/dtd/mmlalias.ent [new file with mode: 0644]
helm/dtd/mmlextra.ent [new file with mode: 0644]
helm/dtd/provastruct.theory.xml [new file with mode: 0644]
helm/dtd/theoryobject.dtd [new file with mode: 0644]
helm/header/getheader.xml [new file with mode: 0644]
helm/header/provaurl [new file with mode: 0644]
helm/header/provaurl1 [new file with mode: 0644]
helm/header/setheader.xsl [new file with mode: 0644]