aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAge
...
* majGravatar filliatr2004-05-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5765 85f007b7-540e-0410-9357-904b9bb8a0f7
* Affichage de la date de checkout même si pas dans le répertoire de compilationGravatar herbelin2004-05-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5764 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5761 85f007b7-540e-0410-9357-904b9bb8a0f7
* Correction bug 'Time Load foo'Gravatar herbelin2004-05-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5759 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5758 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5757 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-21
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5756 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-20
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5755 85f007b7-540e-0410-9357-904b9bb8a0f7
* Protection du destruct pour vérifier que ce n'est pas une anomalie, à ↵Gravatar herbelin2004-05-20
| | | | | | défaut de faire réussir la tactique git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5754 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-19
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5753 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-18
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5752 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5751 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-16
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5750 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-14
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5749 85f007b7-540e-0410-9357-904b9bb8a0f7
* Bug syntaxe AddPathGravatar herbelin2004-05-14
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5747 85f007b7-540e-0410-9357-904b9bb8a0f7
* test de conversion laissait echapper exception NotConvertibleGravatar barras2004-05-14
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5746 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-13
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5745 85f007b7-540e-0410-9357-904b9bb8a0f7
* "comments only" commit.Gravatar coq2004-05-13
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5744 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5743 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5742 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5739 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5738 85f007b7-540e-0410-9357-904b9bb8a0f7
* un argument booleen inutilisé dans expand_macrosGravatar letouzey2004-05-08
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5737 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-07
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5736 85f007b7-540e-0410-9357-904b9bb8a0f7
* Bug mauvais sigmaGravatar herbelin2004-05-07
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5735 85f007b7-540e-0410-9357-904b9bb8a0f7
* Correction interprétation mult sur nat (bug 743), bug Oufo (mais Oufo est ↵Gravatar herbelin2004-05-07
| | | | | | de toutes façons inutile) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5733 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5732 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-05
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5730 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-04
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5729 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-04
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5728 85f007b7-540e-0410-9357-904b9bb8a0f7
* TypoGravatar herbelin2004-05-04
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5726 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5724 85f007b7-540e-0410-9357-904b9bb8a0f7
* but autoamtics tactics savingGravatar marche2004-05-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5723 85f007b7-540e-0410-9357-904b9bb8a0f7
* Points-fixes avec let-inGravatar herbelin2004-05-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5722 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-05-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5721 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout test bug 711Gravatar herbelin2004-05-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5720 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-04-30
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5719 85f007b7-540e-0410-9357-904b9bb8a0f7
* Achèvement du passage des emprunts à cameleon de Maxence Guesdon de la ↵Gravatar herbelin2004-04-30
| | | | | | version 1.2 (QPL) à la version 1.3 (GPL) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5717 85f007b7-540e-0410-9357-904b9bb8a0f7
* Terminologie plus intuitive: evaluable -> unfoldableGravatar herbelin2004-04-30
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5716 85f007b7-540e-0410-9357-904b9bb8a0f7
* Dépendance en $(RPMTOPDIR)Gravatar herbelin2004-04-30
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5715 85f007b7-540e-0410-9357-904b9bb8a0f7
* Position du %defattr importanteGravatar herbelin2004-04-30
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5714 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-04-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5713 85f007b7-540e-0410-9357-904b9bb8a0f7
* Test bug 705Gravatar herbelin2004-04-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5712 85f007b7-540e-0410-9357-904b9bb8a0f7
* Prise en compte d'un type dont la sorte est une evarGravatar herbelin2004-04-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5710 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-04-28
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5709 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout test If nouvelle syntaxeGravatar herbelin2004-04-28
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5708 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-04-27
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5707 85f007b7-540e-0410-9357-904b9bb8a0f7
* Correction incapacité à gérer les annotations de type dépendantes pour ↵Gravatar herbelin2004-04-27
| | | | | | le if-then-else git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5706 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-04-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5702 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2004-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5701 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 05:46:45 +0000