]> matita.cs.unibo.it Git - helm.git/commit
ht:OBJECT added;
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Jun 2001 11:14:59 +0000 (11:14 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Jun 2001 11:14:59 +0000 (11:14 +0000)
commitdea00f8f062181f85a38d38e7062dfe8f0c5d9ea
treebb54403e5d27fbe3649d449cd85c64ef4a87b653
parent8068b767ea041953a874f598e1cf0960f43dc6d9
ht:OBJECT added;
ls.dtd added
helm/dtd/ls.dtd [new file with mode: 0644]
helm/dtd/maththeory.dtd