From c004e8ff6e71d716c0cfd850c55007c2d3cddf25 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 1 Jun 2014 11:54:17 +0200
Subject: A little bit of documentation about V5.10 and V6.3 and V7.

---
 dev/doc/transition-V5.10-V6 | 5 +++++
 dev/doc/transition-V6-V7    | 8 ++++++++
 2 files changed, 13 insertions(+)
 create mode 100644 dev/doc/transition-V5.10-V6
 create mode 100644 dev/doc/transition-V6-V7

(limited to 'dev')

diff --git a/dev/doc/transition-V5.10-V6 b/dev/doc/transition-V5.10-V6
new file mode 100644
index 0000000000..df7b65dd8b
--- /dev/null
+++ b/dev/doc/transition-V5.10-V6
@@ -0,0 +1,5 @@
+The V5.10 archive has been created with cvs in February 1995 by
+Jean-Christophe Filliâtre. It was moved to archive V6 in March 1996.
+At this occasion, the contrib directory (user-contributions) were
+moved to a separate directory and some theories (like ALGEBRA) moved
+to the user-contributions directory too.
diff --git a/dev/doc/transition-V6-V7 b/dev/doc/transition-V6-V7
new file mode 100644
index 0000000000..e477c9ff9d
--- /dev/null
+++ b/dev/doc/transition-V6-V7
@@ -0,0 +1,8 @@
+The V6 archive has been created in March 1996 with files from the
+former V5.10 archive and has been abandoned in 2000.
+
+A new archive named V7 has been created in August 1999 by
+Jean-Christophe Filliâtre with a new architecture placing the
+type-checking at the kernel of Coq. This new architecture came with a
+"cleaner" organization of files, a uniform indentation style, uniform
+headers, etc.
-- 
cgit v1.2.3