aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAge
...
* argument inutilisé de zip: toujours l'identitéGravatar letouzey2005-08-22
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7313 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-21
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7311 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-20
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7309 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-19
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7307 85f007b7-540e-0410-9357-904b9bb8a0f7
* pas besoin de List.length pour savoir si une liste est videGravatar letouzey2005-08-19
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7306 85f007b7-540e-0410-9357-904b9bb8a0f7
* Sur le conseil de X.Leroy: x=[||] devient Array.length x=0Gravatar letouzey2005-08-19
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7305 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-18
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7303 85f007b7-540e-0410-9357-904b9bb8a0f7
* code cleaning. No changes as far as tested.Gravatar coq2005-08-18
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7302 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7300 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7299 85f007b7-540e-0410-9357-904b9bb8a0f7
* new congruenceGravatar corbinea2005-08-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7298 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-16
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7296 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7294 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-14
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7292 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-13
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7290 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7288 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7286 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7284 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7282 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-08
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7280 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-07
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7278 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7276 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-05
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7274 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-04
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7272 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7270 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7268 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7267 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7265 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7264 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-08-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7262 85f007b7-540e-0410-9357-904b9bb8a0f7
* Procédure d'ajout d'une nouvelle contributions utilisateurGravatar herbelin2005-08-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7261 85f007b7-540e-0410-9357-904b9bb8a0f7
* Add two .bat scripts to run coq and coqide under windows without changing ↵Gravatar narboux2005-07-25
| | | | | | autoexec.bat git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7260 85f007b7-540e-0410-9357-904b9bb8a0f7
* rename INSTALL.win INSTALL.txt to ease openingGravatar narboux2005-07-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7259 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7257 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7255 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-22
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7253 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-21
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7251 85f007b7-540e-0410-9357-904b9bb8a0f7
* Utilisation de la non-équivalence d'inductifs pour le case_info (cf message ↵Gravatar herbelin2005-07-21
| | | | | | CP et EC dans coqdev) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7250 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-20
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7248 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-18
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7245 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7243 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-16
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7241 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7239 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar coq2005-07-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7238 85f007b7-540e-0410-9357-904b9bb8a0f7
* Subtac: traitement correct des existentielles et de la récursion.Gravatar coq2005-07-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7237 85f007b7-540e-0410-9357-904b9bb8a0f7
* Add some debug printing functions.Gravatar coq2005-07-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7236 85f007b7-540e-0410-9357-904b9bb8a0f7
* Fix sumbool_not hint (on behalf of cpaulin).Gravatar coq2005-07-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7235 85f007b7-540e-0410-9357-904b9bb8a0f7
* add a left and right tactic for classical logicGravatar narboux2005-07-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7234 85f007b7-540e-0410-9357-904b9bb8a0f7
* reflexive tautoGravatar corbinea2005-07-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7233 85f007b7-540e-0410-9357-904b9bb8a0f7
* improves shadows in the main windowGravatar narboux2005-07-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7232 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 07:29:08 +0000