coq/dev/TODO, branch master The formal proof system Remove dev/TODO 2017-08-01T17:26:33+00:00 Gaëtan Gilbert 2017-06-21T13:24:27+00:00 6c7b8057a2baa27d3f420e199df354c22466c783 






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












Dummy commit to test the new setup of coq-commits mailinglist (bis)
2014-06-17T17:49:49+00:00

Pierre Letouzey

2014-06-17T17:49:49+00:00

4c79604793ddf9c3e717d762518200b5e7db4f35












Dummy commit to test the new setup of coq-commits mailinglist
2014-06-17T17:48:53+00:00

Pierre Letouzey

2014-06-17T17:48:53+00:00

3e5be89e137df93de6f13d7ea2270dd22b1d48d1












mise a jour
2000-01-26T23:46:38+00:00

filliatr

2000-01-26T23:46:38+00:00

5771e5cd2cb76e0c8a05481417e12921da06c8ca

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





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







rattrapage exceptions autres que UserError
1999-12-14T13:49:42+00:00

filliatr

1999-12-14T13:49:42+00:00

c8da19b11952126f09b9d32002534ce91ae0d47c

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





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







modules et coqc
1999-12-12T22:04:30+00:00

filliatr

1999-12-12T22:04:30+00:00

0579791aa362fbed66baff317cb29f204dcce18a

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





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







debug reset
1999-12-10T10:10:30+00:00

filliatr

1999-12-10T10:10:30+00:00

ba569318fee9055745b6bc191d97add351900e74

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





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







module Classops; ajout de fonctions dans Declare en consequence
1999-11-26T16:09:40+00:00

filliatr

1999-11-26T16:09:40+00:00

82667b4dc6d4a34708c2b9a14a940e05ea9044f7

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





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







Auto,Dhyp,Elim / Reduction de Evar / declarations eliminations
1999-11-24T08:19:55+00:00

filliatr

1999-11-24T08:19:55+00:00

f9676380178d7af90d8cdf64662866c82139f116

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





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