coq/dev/doc/transition-V6-V7, branch master The formal proof system Remove obsolete files from dev/doc 2018-03-21T17:11:13+00:00 Enrico Tassi 2018-03-21T17:11:13+00:00 f08dfceda3930bdd42602490a6ad4174db509702 - 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 
- 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
A little bit of documentation about V5.10 and V6.3 and V7. 2014-06-01T09:56:19+00:00 Hugo Herbelin 2014-06-01T09:54:17+00:00 c004e8ff6e71d716c0cfd850c55007c2d3cddf25