From 7cfc4e5146be5666419451bdd516f1f3f264d24a Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 25 Jan 2015 14:42:51 +0100 Subject: Imported Upstream version 8.5~beta1+dfsg --- 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 00000000..e477c9ff --- /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