From 6c9153784e662da658d61b88671d7a8d0430ff62 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 26 Sep 2003 09:06:00 +0000
Subject: *** empty log message ***

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8344 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/v8.txt | 50 ++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)
 create mode 100644 doc/v8.txt

diff --git a/doc/v8.txt b/doc/v8.txt
new file mode 100644
index 0000000000..24efe89b6f
--- /dev/null
+++ b/doc/v8.txt
@@ -0,0 +1,50 @@
+
+Anomalies.tex
+
+faq.tex 
+
+Changes.tex
+ChangesV6-2.tex
+ChangesV6-3-1.tex 
+ChangesV6-3.tex 
+ChangesV7-0.tex
+
+macros.tex
+title.tex
+
+Tutorial-cover.tex 
+Tutorial.tex
+
+Reference-Manual.tex 
+RefMan-add.tex
+RefMan-cas.tex 
+RefMan-cic.tex
+RefMan-coi.tex
+RefMan-com.tex
+RefMan-cover.tex 
+RefMan-ext.tex 
+RefMan-gal.tex 
+RefMan-ind.tex
+RefMan-int.tex
+RefMan-lib.tex
+RefMan-ltac.tex 
+RefMan-mod.tex 
+RefMan-modr.tex 
+RefMan-oth.tex 
+RefMan-pre.tex
+RefMan-pro.tex
+RefMan-syn.tex
+RefMan-tac.tex 
+RefMan-tacex.tex 
+RefMan-tus.tex
+RefMan-uti.tex
+AddRefMan-pre.tex 
+Cases.tex 
+Coercion.tex 
+Correctness.tex 
+Extraction.tex
+Library.tex
+Omega.tex 
+Polynom.tex 
+Setoid.tex 
+
-- 
cgit v1.2.3