aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
AgeCommit message (Collapse)Author
2004-01-21MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5224 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-23*** empty log message ***barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5134 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-22MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5127 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-01*** empty log message ***clrenard
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5055 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-01Nouvelle tactique EExistsclrenard
Changement des exports pour tactic EXTEND : with_bindings devient bindings qui prend plus le with, il faut le mettre à la main dans la règle. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5052 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-01Idtac parlenarboux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5044 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-30MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5040 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-23MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4976 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-18MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4941 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-12MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4864 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-12deux doigts d'extraction dans le CHANGES pour la V8letouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4859 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-08MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4831 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-10-28MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4739 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-10-13MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4619 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-10-10MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4582 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-10-08MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4544 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-09-26MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4489 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-06-14Ajout option Local à Hint, Hints et HintDestructherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4163 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-06-13Utilisation de intro_pattern dans NewDestruct/NewInductionherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4154 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-06-10MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4135 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-24Ajout FreshIdherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4072 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-21MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4048 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-28ajout d'une elimination simplifiée Acc_iter pour Accletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3966 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-17MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3944 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-09MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3885 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-31MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3830 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-29eq fusionne avec eqT et devient par défaut sur Type,herbelin
idem pour ex et exT, ex2 et exT2, all et allT git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3812 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-29Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3807 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-26Ajout de Set Print Widthgregoire
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3790 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-27MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3717 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-13Chargement dynamique de .cmadelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3676 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-08Bug Renameherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3671 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-06MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3668 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-04MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3658 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-03release 7.4; changement magic numberfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3652 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-03maj status de l'extraction des modulesletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3649 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-31MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3641 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-31MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3640 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-31MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3639 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-31*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3636 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-23status de l'extractionletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3600 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-22Changements dans REALSdesmettr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3592 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-20MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3541 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-19MAJ Ltacherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3536 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-17V7.4mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3524 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-17Mise a jour pour distribmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3521 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-17*** empty log message ***mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3520 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-15Bug en présence de let-inherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3502 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-12-20Prise en compte des coercions dans les 'with' bindingsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3468 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-12-15MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3446 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-22 04:35:52 +0000