aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2003-02-24*** empty log message ***monate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3691 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-22majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3690 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-21CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3689 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-21bugs/améliorations trouvés via FTAletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3688 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-17Affinement entree annotherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3687 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-15majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3683 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-14prise en compte des sous-repertoires Coq de maniere dynamiquefilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3682 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-14Ajout du theoreme de Cesarodesmettr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3681 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-14MAJ pour Reals/SeqSeries.vdesmettr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3680 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-13Test de non bouclage malencontreux dans les niveauxherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3679 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-13Modifications dans une tactique topleveldelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3678 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-13Correction d'un bug introduit dans le backtracking d'occurrencedelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3677 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-13Debugger plus informatifdelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3675 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-12majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3674 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-11Undo dans Coq IDEfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3673 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-08Bug Renameherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3670 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-06commentairecoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3667 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-06majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3666 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-05updatedesmettr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3665 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-05Ajout du traducteurdesmettr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3664 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-05Suppression de l'élimination des existentiels dans LinearIntuition.corbinea
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3663 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-05Automatisation de la création de l'image avec le package MacOS-Xherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3662 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-05majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3661 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-04interface GTK2 experimentalemonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3660 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-04MAJ Windowsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3659 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-04Contournement de ocamlmktop qui plante sous win32herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3657 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-04MAJ pour windowsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3656 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-03-reals allfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3655 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-03make check utilise toujours le Coq localfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3654 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-03majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3653 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-03Added a clause for VernacDefineModule, but with an error as result.bertot
This is more work to do to have a complete treatement of the Vernac syntax. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3651 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-03majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3650 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-02-03hack horrible pour renommage dans Modules Types et Functeursletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3648 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-03encore un long_knletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3647 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-02contrib/extraction/table utilise printerletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3646 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-02plus d'environment fixe cur_env mais un environment evolutifletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3645 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-02Bug affichage let destructurantherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3644 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-01Backtrack sur le filtrage des applications partielles (change Tauto/Intuition)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3643 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-31Ajout d'un filtrage d'application partielleherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3642 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-31Unification plus efficace vis à vis du LetInherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3638 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-31preparation pkg deb for 7.4courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3637 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-07-29 13:23:47 +0000