aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Collapse)Author
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
2003-03-03IDE:colorationfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3726 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-03IDE: debug=falsefilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3725 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-03coqide: preferences support and optimizationsmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3724 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-27coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ↵monate
Contextual colorization. Synchronization problems solved. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3719 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-26coqide: preliminary support for mnemonics. Edit menu. Context help now works ↵monate
properly. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3705 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-25ide:copy/paste fixmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3703 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-24coqide : aide sur selection ou sur motmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3700 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-24aide contextuelle / menus compilation + print + exportfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3698 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-24ide changesmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3694 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-24ctrl-k like Emacs in coqidemonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3693 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-24idemonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3692 85f007b7-540e-0410-9357-904b9bb8a0f7
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-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-11Undo dans Coq IDEfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3673 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-25 11:27:14 +0000