aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* coqide: search forwardGravatar monate2003-04-28
* fichier de pref coq IDE en ASCII (ENFIN)Gravatar filliatr2003-04-28
* utf8.vGravatar monate2003-04-25
* new utf8.vGravatar monate2003-04-25
* *** empty log message ***Gravatar monate2003-04-24
* coqide : line number modeGravatar monate2003-04-24
* *** empty log message ***Gravatar monate2003-04-24
* Coqide : bug undoGravatar monate2003-04-22
* coqide : progressbarGravatar monate2003-04-22
* oubliGravatar letouzey2003-04-16
* coqide: undo fixGravatar monate2003-04-10
* *** empty log message ***Gravatar monate2003-04-10
* *** empty log message ***Gravatar monate2003-04-10
* coqide: bug highlight corrigeGravatar monate2003-04-10
* coqide: completion supportGravatar monate2003-04-10
* set_focusGravatar marche2003-04-10
* coqide: thread bug fixGravatar monate2003-04-10
* Coqide : introduction des coprocessus. CoqIde est maintenant interruptibleGravatar monate2003-04-09
* coqide: command window maj.Gravatar monate2003-03-28
* coqide: bug undo corrigeGravatar monate2003-03-28
* coqide: bugfix du C-C pendant Undo+paren_highlightGravatar monate2003-03-27
* coqide: efficacite des buts etc...Gravatar monate2003-03-27
* coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc...Gravatar monate2003-03-26
* coqide: addloadpath corrigeGravatar monate2003-03-26
* coqide: compact delete event-search startGravatar monate2003-03-24
* pour faire marcher le control-kGravatar letouzey2003-03-24
* petit oubliGravatar letouzey2003-03-15
* coqide: maj preferences du wizzardGravatar monate2003-03-14
* coqide: utf8.vGravatar monate2003-03-14
* notations coqideGravatar monate2003-03-14
* *** empty log message ***Gravatar monate2003-03-14
* coqide: maj commandesGravatar monate2003-03-14
* coqide: .coqidepref en bin. Preferences en plusGravatar monate2003-03-12
* coqide: maj des bindingsGravatar monate2003-03-10
* coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...Gravatar monate2003-03-07
* coqide: fenetre de cmmandes . undo correctGravatar monate2003-03-06
* coqide: le undoGravatar monate2003-03-06
* coqide: ouvrir une seule fois un fichierGravatar monate2003-03-05
* IDE: menu templatesGravatar filliatr2003-03-05
* CoqIde: Install.ide Revert bugfix.Gravatar monate2003-03-05
* coqide: bugfixGravatar monate2003-03-04
* belle image de coq (en png en plus)Gravatar marche2003-03-04
* coqide: partage -debug avec coqtopGravatar monate2003-03-04
* IDE: majGravatar monate2003-03-04
* CoqIDE: copy/pasteGravatar monate2003-03-03
* fichiers sur la ligne de commande passes a Coq IDEGravatar filliatr2003-03-03
* IDE:colorationGravatar filliatr2003-03-03
* IDE: debug=falseGravatar filliatr2003-03-03
* coqide: preferences support and optimizationsGravatar monate2003-03-03
* coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ...Gravatar monate2003-02-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 00:29:05 +0000