aboutsummaryrefslogtreecommitdiffhomepage
path: root/.depend
Commit message (Collapse)AuthorAge
* majGravatar filliatr2003-09-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4466 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-09-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4452 85f007b7-540e-0410-9357-904b9bb8a0f7
* traducteur: affiche les commentaires a l'interieur des commandesGravatar barras2003-09-22
| | | | | | | extraction: pb avec les variables de section definies git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4450 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-09-19
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4422 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-09-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4406 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-09-13
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4395 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJGravatar herbelin2003-09-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4380 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-09-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4351 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-09-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4339 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-09-08
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4326 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-09-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4296 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-09-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4287 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-08-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4277 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-08-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4261 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-07-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4244 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-07-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4238 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-07-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4236 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ground bugfixGravatar corbinea2003-07-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4235 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-07-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4229 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-07-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4216 85f007b7-540e-0410-9357-904b9bb8a0f7
* suppression de newtautoGravatar corbinea2003-07-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4214 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-06-28
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4210 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-06-21
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4194 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ground Update.Gravatar corbinea2003-06-20
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4188 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-06-20
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4187 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-06-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4172 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ground updateGravatar corbinea2003-06-16
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4171 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ground major update ... mmm, sounds exciting !Gravatar corbinea2003-06-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4167 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ground updateGravatar corbinea2003-06-13
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4158 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ground update, new files.Gravatar corbinea2003-06-13
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4156 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-06-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4136 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-06-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4105 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-05-30
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4093 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-05-27
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4083 85f007b7-540e-0410-9357-904b9bb8a0f7
* moved engine.ml4 to ground.ml4, added option 'Ground Depth'Gravatar corbinea2003-05-26
| | | | | | | fixed utf8.vo dependency. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4078 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ground and CCsolve updatesGravatar corbinea2003-05-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4075 85f007b7-540e-0410-9357-904b9bb8a0f7
* coqide: blaster 2Gravatar monate2003-05-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4071 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-05-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4068 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-05-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4066 85f007b7-540e-0410-9357-904b9bb8a0f7
* coqide: blaster V1Gravatar monate2003-05-22
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4059 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-05-22
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4056 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-05-21
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4041 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-05-20
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4036 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-05-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4027 85f007b7-540e-0410-9357-904b9bb8a0f7
* Major Ground tactic update, sensible performance improvementGravatar corbinea2003-05-16
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4026 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-05-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4023 85f007b7-540e-0410-9357-904b9bb8a0f7
* coqide: load/save file encoding support/Gravatar monate2003-05-14
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4021 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-05-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3998 85f007b7-540e-0410-9357-904b9bb8a0f7
* coqide: toolbar/autosaveGravatar monate2003-05-07
| | | | | | | | | Hugo: Suppression du type dans les notations == et <> entre Suppression du type dans les notations == et <> entre volution second traducteur selon discussion TYPES git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3993 85f007b7-540e-0410-9357-904b9bb8a0f7
* Enhancement of the Ground tactic, addition of GTauto and GIntuition.Gravatar corbinea2003-05-07
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3991 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 12:31:43 +0000