coq/TODO, branch master The formal proof system Removing TODO file which is unused for more than 10 years. 2017-04-22T16:46:27+00:00 Hugo Herbelin 2017-04-19T04:18:14+00:00 323af0fd83d1d23c9b0324b19f2fa542419653ab Hoping this is ok for everyone, otherwise we can discuss about it. 
Hoping this is ok for everyone, otherwise we can discuss about it.
Switch the few remaining iso-latin-1 files to utf8 2014-12-09T13:27:21+00:00 Pierre Letouzey 2014-12-09T11:48:32+00:00 af84e080ff674a3d5cf2cf88874ddb6ebaf38ecf 






git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9415 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-12-08T11:37:07+00:00

filliatr

2006-12-08T11:37:07+00:00

fbae415d5ebc30e67fdfcd9bd9515490d8e97cef












git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9348 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-11-07T08:39:26+00:00

filliatr

2006-11-07T08:39:26+00:00

964c0e96fb05010b265450d502d0926fba10362e












ajout d'entrées dans TODO et CHANGES (à re-mettre à jour avant la release)
2006-04-11T14:10:35+00:00

courtieu

2006-04-11T14:10:35+00:00

f0d5877bb2ec96790dc7be65b671bae93be63c23

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8697 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8697 85f007b7-540e-0410-9357-904b9bb8a0f7







Pour satisfaire ProofGeneral
2003-01-31T14:38:23+00:00

coq

2003-01-31T14:38:23+00:00

2e3ec630ae120065894bf36689785ae44941c919

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3634 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3634 85f007b7-540e-0410-9357-904b9bb8a0f7







Lazy experimentale temporaire...
2002-10-05T11:03:20+00:00

coq

2002-10-05T11:03:20+00:00

1e485645ef6481a856e8a67477f186519fb8ec9d

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3091 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3091 85f007b7-540e-0410-9357-904b9bb8a0f7







Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et commandes vernaculaires (cf dev/changements.txt pour plus de précisions)
2002-05-29T11:10:24+00:00

herbelin

2002-05-29T11:10:24+00:00

29c67f1d97221755415ace1e4317cb7af92e24f3

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2734 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2734 85f007b7-540e-0410-9357-904b9bb8a0f7







*** empty log message ***
2002-04-05T11:29:44+00:00

mohring

2002-04-05T11:29:44+00:00

91ee4da8c0a5c5955c7ee4c5015c2744bd3f0aed

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2612 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2612 85f007b7-540e-0410-9357-904b9bb8a0f7







MAJ
2001-10-16T16:06:03+00:00

herbelin

2001-10-16T16:06:03+00:00

da99ba17909124a9fdc3ce1684dd381595522554

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2123 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2123 85f007b7-540e-0410-9357-904b9bb8a0f7