]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 564808f) | patch
Declaration and Definition renamed to Decl and Def because
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 8 Apr 2002 12:54:19 +0000 (12:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 8 Apr 2002 12:54:19 +0000 (12:54 +0000)
commit1f0d6e8932f4200a6b1956995225211df2a271a8
treeb8f97069b0ea2dc9ae17e849bf52f328295748eftree | snapshot
parent564808f227d45537df5061e05d81fcc70cb06f9dcommit | diff
Declaration and Definition renamed to Decl and Def because
Definition was already defined in the DTD.
helm/dtd/cic.dtd diff | blob | history
helm/dtd/cicobject.dtd diff | blob | history
helm/style/mmlextension.xsl diff | blob | history
helm/style/objcontent.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.