1 files changed, 50 insertions, 0 deletions
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 
+