]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0ba4a2) | patch
Initial revision
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 2 May 2001 14:14:57 +0000 (14:14 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 2 May 2001 14:14:57 +0000 (14:14 +0000)
commit9a3551a665bcc68c9e2d4f7a220e4dfabad3fde1
tree972cdf45f01983c236b5d21e27f21212061ad895tree | snapshot
parentf0ba4a2e4c476fa162e4bf976b323cbfb492dec5commit | diff
Initial revision
15 files changed:
helm/xmltheory/Coq_v2theoryxml/.depend [new file with mode: 0644] blob
helm/xmltheory/Coq_v2theoryxml/Makefile [new file with mode: 0644] blob
helm/xmltheory/Coq_v2theoryxml/coq_v2theoryxml.ml [new file with mode: 0644] blob
helm/xmltheory/FakeCoq_vo2xml/README [new file with mode: 0644] blob
helm/xmltheory/FakeCoq_vo2xml/coq_vo2xml [new file with mode: 0755] blob
helm/xmltheory/XmlTheory/.depend [new file with mode: 0644] blob
helm/xmltheory/XmlTheory/COME_COMPILARE [new file with mode: 0644] blob
helm/xmltheory/XmlTheory/Make [new file with mode: 0644] blob
helm/xmltheory/XmlTheory/Makefile [new file with mode: 0644] blob
helm/xmltheory/XmlTheory/README [new file with mode: 0644] blob
helm/xmltheory/XmlTheory/XmlTheory.v [new file with mode: 0644] blob
helm/xmltheory/XmlTheory/iXml.ml [new file with mode: 0644] blob
helm/xmltheory/XmlTheory/iXml.mli [new file with mode: 0644] blob
helm/xmltheory/XmlTheory/xmltheoryentries.ml [new file with mode: 0644] blob
helm/xmltheory/maththeory.dtd [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.