aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/translate-v8
Commit message (Collapse)AuthorAge
* Suppression traducteurGravatar herbelin2006-01-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7846 85f007b7-540e-0410-9357-904b9bb8a0f7
* Nouvelle version qui compile dans un sous-repertoire avant d'ecraser le ↵Gravatar herbelin2003-12-11
| | | | | | repertoire courant git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5087 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ OTHERFLAGSGravatar herbelin2003-11-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4854 85f007b7-540e-0410-9357-904b9bb8a0f7
* Passage options via COQFLAGS plutot que OPTGravatar herbelin2003-09-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4472 85f007b7-540e-0410-9357-904b9bb8a0f7
* Outils de traductionGravatar herbelin2003-08-11
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4252 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 21:30:11 +0000