diff options
| author | Enrico Tassi | 2018-03-21 18:11:13 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2018-03-21 18:11:13 +0100 |
| commit | f08dfceda3930bdd42602490a6ad4174db509702 (patch) | |
| tree | 1bc7263be2c770856ff3c17513e812b26d65acb2 /dev/doc/transition-V6-V7 | |
| parent | d7ea089b890e93d42c9b3ddb3b521590f73356bc (diff) | |
Remove obsolete files from dev/doc
- cic.dtd is related to the XML plugin
- about-hints uses v7 syntax
- minicoq.tex talks about a tool that is not there
- translate.txt talks about the v7->v8 translation machinery
- transition-* talk about v5->v7 changes to the sources layout
Diffstat (limited to 'dev/doc/transition-V6-V7')
| -rw-r--r-- | dev/doc/transition-V6-V7 | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/dev/doc/transition-V6-V7 b/dev/doc/transition-V6-V7 deleted file mode 100644 index e477c9ff9d..0000000000 --- a/dev/doc/transition-V6-V7 +++ /dev/null @@ -1,8 +0,0 @@ -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. |