From 72b9a7df489ea47b3e5470741fd39f6100d31676 Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Sat, 18 Aug 2007 20:34:57 +0000 Subject: Imported Upstream version 8.1.pl1+dfsg --- doc/Makefile | 4 ++-- doc/stdlib/index-list.html.template | 15 ++++++++++++--- 2 files changed, 14 insertions(+), 5 deletions(-) (limited to 'doc') diff --git a/doc/Makefile b/doc/Makefile index 6209b0c8..403e2047 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -116,7 +116,7 @@ REFMANCOQTEXFILES=\ refman/Setoid.v.tex refman/Helm.tex # refman/Natural.v.tex REFMANTEXFILES=\ - refman/headers.tex \ + refman/headers.sty \ refman/Reference-Manual.tex refman/RefMan-pre.tex \ refman/RefMan-int.tex refman/RefMan-pro.tex \ refman/RefMan-com.tex \ @@ -152,7 +152,7 @@ refman/Reference-Manual.pdf: refman/Reference-Manual.tex ### Reference Manual (browsable format) -refman/Reference-Manual.html: refman/Reference-Manual.dvi # to ensure bbl file +refman/Reference-Manual.html: refman/headers.hva refman/Reference-Manual.dvi # to ensure bbl file (cd refman; hevea -fix -exec xxdate.exe ./Reference-Manual.tex) refman/html/index.html: refman/Reference-Manual.html $(REFMANPNGFILES) \ diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template index f63b6cf4..81ab034b 100644 --- a/doc/stdlib/index-list.html.template +++ b/doc/stdlib/index-list.html.template @@ -1,8 +1,13 @@ - + + + - -The Coq Standard Library +<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-15"/> +<link rel="stylesheet" href="css/context.css" type="text/css"> +<title>The Coq Standard Library @@ -60,6 +65,7 @@ through the Require Import command.

theories/Logic/Hurkens.v theories/Logic/ProofIrrelevance.v theories/Logic/ProofIrrelevanceFacts.v + theories/Logic/ConstructiveEpsilon.v
Arith: @@ -203,6 +209,8 @@ through the Require Import command.

theories/Reals/SeqProp.v theories/Reals/SeqSeries.v theories/Reals/Sqrt_reg.v + theories/Reals/LegacyRfield.v + theories/Reals/Rpow_def.v (theories/Reals/Reals.v) @@ -289,6 +297,7 @@ through the Require Import command.

theories/Lists/SetoidList.v theories/Lists/Streams.v theories/Lists/TheoryList.v + theories/Lists/ListTactics.v
FSets: -- cgit v1.2.3