Nettoyage de l'archive doc et restructuration avant intégration à l'a…

…rchive principale de Coq et publication des sources (HH) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8606 85f007b7-540e-0410-9357-904b9bb8a0f7
gmalecha · Feb 23, 2006 · 6cf8d80 · 6cf8d80
1 parent 2da65b2
commit 6cf8d80
Show file tree

Hide file tree

Showing 81 changed files with 870 additions and 6,917 deletions.
diff --git a/doc/Anomalies.tex b/doc/Anomalies.tex
diff --git a/doc/Changes.html b/doc/Changes.html
diff --git a/doc/Changes.tex b/doc/Changes.tex