]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 82f7ff2) | patch
New DTD for the new exportation module.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 9 Oct 2002 10:41:03 +0000 (10:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 9 Oct 2002 10:41:03 +0000 (10:41 +0000)
commitd59f9b0745bd3e2da8a5fbcd87158f0b5544c6e1
tree94bff1e2fb40eab1294617cb563ae25769323b02tree | snapshot
parent82f7ff219626e4f8ea047a4817b8fbafd2d2a915commit | diff
New DTD for the new exportation module.
helm/dtd/cic.dtd diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.