aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2003-03-21Fin de la résurrection de Linear.corbinea
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3781 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-18Introducing Christine's Intuition1 and adding some invertible hyps.corbinea
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3780 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-18Ajout translateherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3779 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-17coqmktop: -ide fait ce qu'il faut (on peut maintenant construire des Coq IDE ↵filliatr
customises) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3778 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-17nettoyage dans translatefilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3777 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-15majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3776 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-15petit oubliletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3775 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-14coqide: maj preferences du wizzardmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3774 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-14coqide: utf8.vmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3773 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-14nettoyage dans ide/utilsfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3772 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-14*** empty log message ***barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3771 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-14*** empty log message ***barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3770 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-14reparations suite a la nouvelle syntaxe:barras
- syntaxe des modules - syntaxe existentielle git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3769 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-14notations coqidemonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3768 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-14*** empty log message ***monate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3767 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-14coqide: maj commandesmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3766 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-13Ajout réaffichage SubClassherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3765 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-13code mortherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3764 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-13majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3763 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-12petites erreursbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3762 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-12*** empty log message ***barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3761 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-12* Ajout du traducteur nouvelle syntaxe *barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3760 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-12Renommage indpar pour usage plus generalherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3758 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-12Ajout Locate Notationherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3757 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-12coqide: .coqidepref en bin. Preferences en plusmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3756 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-11pour coq-ideletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3754 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-11pour ocamlwebletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3753 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-10coqide: maj des bindingsmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3752 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-10Remove a TODO in the translation of generic arguments:bertot
the case of casted open constr. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3751 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-07coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug ↵monate
autorepeat des paste. configuration des accel rateurs. les chaines peuvent contenir des points. Bug: les phrases ne peuvent pas contenir .\sep. Or c'est permis par les Notation. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3750 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-07Petites modifs de mes super-Makefiles ;)coq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3749 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-07majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3748 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-06coqide: fenetre de cmmandes . undo correctmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3747 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-06coqide: le undomonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3746 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-06Make sure that identifiers are parsed as qualified identifier and thatbertot
the whole text is considered, not only the prefix that can be considered as an identifier. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3745 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-06majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3744 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-05coqide: ouvrir une seule fois un fichiermonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3743 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-05IDE: menu templatesfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3742 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-05CoqIde: Install.ide Revert bugfix.monate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3741 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-05majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3740 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-04coqide: bugfixmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3739 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-04install de coq.pngmarche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3738 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-04belle image de coq (en png en plus)marche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3737 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-04coqide: partage -debug avec coqtopmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3736 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-04tous les fichiers passes a Coq IDEfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3735 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-04IDE: majmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3734 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-04Bug délimiteur de scope en vieil affichage astherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3732 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-04MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3731 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-04majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3730 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-03CoqIDE: copy/pastemonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3729 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 07:17:54 +0000