coq/tools/check-translate, branch master The formal proof system [tools] Remove unused / obsolete files. 2018-10-02T02:27:15+00:00 Emilio Jesus Gallego Arias 2018-10-02T02:23:05+00:00 ec751f0d48fa3d6268ed4210d74efac23bc87cbc TTBOMK we don't use any of these files since a long time. 
TTBOMK we don't use any of these files since a long time.
[flags] Remove XML output flag. 2017-08-01T16:42:44+00:00 Emilio Jesus Gallego Arias 2017-06-12T20:12:02+00:00 2def58217686b5083da38778a5ebffb451b1d4d6 This is a second try at removing the hooks for the legacy xml export system which can't currently be tested. It is also not included in the API, so it should either be included in it or this PR be applied. 
This is a second try at removing the hooks for the legacy xml export
system which can't currently be tested.

It is also not included in the API, so it should either be included in
it or this PR be applied.
MAJ 2006-04-26T22:53:45+00:00 herbelin 2006-04-26T22:53:45+00:00 6ff0230daff15fb624a6a0a87e9770001fd86e51 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8742 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8742 85f007b7-540e-0410-9357-904b9bb8a0f7
Outil de test de la réversibilité du réafficheur v8->v8 2006-04-26T22:25:21+00:00 herbelin 2006-04-26T22:25:21+00:00 8ec716f5acefba0447ecbfaae5fc1943d99a6dac git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8740 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8740 85f007b7-540e-0410-9357-904b9bb8a0f7