]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e031525) | patch
New attributes for ht:* elements proposed by Nijmegen.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Jun 2004 16:40:13 +0000 (16:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Jun 2004 16:40:13 +0000 (16:40 +0000)
commitacaa271b8908b23327f16db71a14945ce68ff9d2
treed43e6b5e81460765d7ddcbca66770a300830536ftree | snapshot
parente031525a04d0f5ab2a729bec6c1f196a3ec7deabcommit | diff
New attributes for ht:* elements proposed by Nijmegen.
All the attributes are IMPLIED and the default value for all of them
is backward compatible.
helm/dtd/maththeory.dtd diff | blob | history
helm/dtd/theoryobject.dtd diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.