aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAge
* *** empty log message ***Gravatar barras2005-07-13
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7211 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7209 85f007b7-540e-0410-9357-904b9bb8a0f7
* test du tag de reductionGravatar barras2005-07-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7208 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7206 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7204 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7202 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-08
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7200 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-07
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7198 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7196 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJGravatar herbelin2005-07-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7195 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-05
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7192 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-04
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7190 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7188 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7186 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7184 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-30
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7182 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7180 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-28
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7178 85f007b7-540e-0410-9357-904b9bb8a0f7
* Correction bug #983Gravatar herbelin2005-06-28
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7176 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-27
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7174 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7172 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7170 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7168 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7167 85f007b7-540e-0410-9357-904b9bb8a0f7
* Dp: ajout d'abstraction aux applications de fonction non premier ordreGravatar coq2005-06-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7166 85f007b7-540e-0410-9357-904b9bb8a0f7
* dp: ajout des prédicats de sortesGravatar coq2005-06-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7165 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-22
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7163 85f007b7-540e-0410-9357-904b9bb8a0f7
* Added entry constr_may_eval for tactic extensions (new syntax)Gravatar herbelin2005-06-22
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7162 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-21
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7160 85f007b7-540e-0410-9357-904b9bb8a0f7
* coqdep connait maintenant user-contribGravatar filliatr2005-06-21
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7158 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-20
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7156 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-19
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7154 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-18
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7152 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7150 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-16
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7148 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7146 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7145 85f007b7-540e-0410-9357-904b9bb8a0f7
* Dp : ajoût des existentielsGravatar coq2005-06-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7144 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-14
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7142 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-13
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7140 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7138 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7136 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7134 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7132 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7131 85f007b7-540e-0410-9357-904b9bb8a0f7
* dp: traitement des fixpointsGravatar coq2005-06-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7130 85f007b7-540e-0410-9357-904b9bb8a0f7
* backtrack sur le typage des instantiations d\'evarsGravatar barras2005-06-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7129 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-06-08
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7127 85f007b7-540e-0410-9357-904b9bb8a0f7
* traitement des caseGravatar coq2005-06-08
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7126 85f007b7-540e-0410-9357-904b9bb8a0f7
* evar declarees avec mauvais typeGravatar barras2005-06-08
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7125 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-04 04:08:05 +0000