aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Collapse)Author
2003-05-07coqide: missing filesmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3995 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-07coqide: GtkData depmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3994 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-07coqide: toolbar/autosavemonate
Hugo: Suppression du type dans les notations == et <> entre Suppression du type dans les notations == et <> entre volution second traducteur selon discussion TYPES git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3993 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-29coqide: search forw+backmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3982 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-28coqide: search forwardmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3969 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-28fichier de pref coq IDE en ASCII (ENFIN)filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3963 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-25utf8.vmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3954 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-25new utf8.vmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3953 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-24*** empty log message ***monate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3951 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-24coqide : line number modemonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3950 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-24*** empty log message ***monate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3949 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-22Coqide : bug undomonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3948 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-22coqide : progressbarmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3947 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-16oubliletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3932 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-10coqide: undo fixmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3906 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-10*** empty log message ***monate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3905 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-10*** empty log message ***monate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3904 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-10coqide: bug highlight corrigemonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3903 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-10coqide: completion supportmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3902 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-10set_focusmarche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3901 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-10coqide: thread bug fixmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3900 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-09Coqide : introduction des coprocessus. CoqIde est maintenant interruptiblemonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3887 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-28coqide: command window maj.monate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3804 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-28coqide: bug undo corrigemonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3801 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-27coqide: bugfix du C-C pendant Undo+paren_highlightmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3798 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-27coqide: efficacite des buts etc...monate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3795 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-26coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes ↵monate
locaux. Reparation du Undo avec Section et constantes de meme nom. Decoupe tag modifie git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3793 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-26coqide: addloadpath corrigemonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3792 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-24coqide: compact delete event-search startmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3787 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-24pour faire marcher le control-kletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3786 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-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-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-10coqide: maj des bindingsmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3752 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-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-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-04coqide: bugfixmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3739 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-04IDE: majmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3734 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
2003-03-03fichiers sur la ligne de commande passes a Coq IDEfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3728 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 07:31:40 +0000