diff options
| author | filliatr | 2003-09-26 09:06:00 +0000 |
|---|---|---|
| committer | filliatr | 2003-09-26 09:06:00 +0000 |
| commit | 6c9153784e662da658d61b88671d7a8d0430ff62 (patch) | |
| tree | b442c0148ff84077b7e3de75649bd80c509c81b9 /doc | |
| parent | e35fd10c4ef3c257e91156e07e65234e81672036 (diff) | |
*** empty log message ***
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8344 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/v8.txt | 50 |
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 + |