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-V6-V7 | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 dev/doc/transition-V6-V7

(limited to 'dev/doc/transition-V6-V7')

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