diff options
| author |  glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-09-15 15:13:42 +0000 |
|---|---|---|
| committer | glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-09-15 15:13:42 +0000 |
| commit | f0896101a261663f855ffc41c7d4bb6b68c166e7 (patch) | |
| tree | c099a509cd664b8a194ab67c49ae5e6146070d06 /doc/stdlib | |
| parent | d3e40e0e67be7c7e43684af3d6206f4389ea0173 (diff) | |
Update stdlib html template
Hints from compilation warnings
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11411 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/stdlib')
| -rw-r--r-- | doc/stdlib/index-list.html.template | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template index 5e95a692f..86dd5df22 100644 --- a/doc/stdlib/index-list.html.template +++ b/doc/stdlib/index-list.html.template @@ -256,12 +256,7 @@ theories/Numbers/Natural/SpecViaZ/NSigNAxioms.v <dd> theories/Numbers/Rational/BigQ/BigQ.v - theories/Numbers/Rational/BigQ/Q0Make.v - theories/Numbers/Rational/BigQ/QbiMake.v - theories/Numbers/Rational/BigQ/QifMake.v - theories/Numbers/Rational/BigQ/QMake_base.v - theories/Numbers/Rational/BigQ/QpMake.v - theories/Numbers/Rational/BigQ/QvMake.v + theories/Numbers/Rational/BigQ/QMake.v theories/Numbers/Rational/SpecViaQ/QSig.v </dd> @@ -318,11 +313,14 @@ theories/Numbers/Natural/SpecViaZ/NSigNAxioms.v theories/Classes/SetoidClass.v theories/Classes/SetoidDec.v theories/Classes/SetoidAxioms.v + theories/Classes/Functions.v </dd> <dt> <b>Setoids</b>: <dd> theories/Setoids/Setoid.v + theories/Setoids/Setoid_Prop.v + theories/Setoids/Setoid_tac.v </dd> <dt> <b>Lists</b>: |