diff options
| author | sacerdot | 2004-03-30 16:31:02 +0000 |
|---|---|---|
| committer | sacerdot | 2004-03-30 16:31:02 +0000 |
| commit | 411144ab18b81fdcca0b38ac378f64a6e48197ae (patch) | |
| tree | f33a45ec909d74d265c8e36f3beb2f7109e65de7 /dev | |
| parent | 45ed02f40b41c5e064d68a4bb364fd4bbe5cba07 (diff) | |
*** WARNING: DTD Change ***
@name of ht:SECTION renamed in @uri
Its semantics has not changed (it is the base URI of relative URIs defined
inside the section).
HELM/MoWGLI stylesheets updated accordingly.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5619 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions