aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* coqide: compile sans activate repareGravatar monate2003-06-06
* bug CoqIDE avec GoalGravatar filliatr2003-06-06
* au lieu de makeGravatar monate2003-06-02
* coqide: blaster interruptibleGravatar monate2003-05-26
* configure pour CoqIde repareGravatar monate2003-05-26
* coqide: blaster 2Gravatar monate2003-05-23
* coqide: blaster 2Gravatar monate2003-05-23
* coqide: blaster V1Gravatar monate2003-05-22
* CoqIde: externalsGravatar monate2003-05-20
* command_windows fixGravatar monate2003-05-20
* *** empty log message ***Gravatar monate2003-05-19
* CoqIde : but reset_modGravatar filliatr2003-05-19
* table des modules charges (Library.compunit_cache) synchronizee (pour CoqIde ...Gravatar filliatr2003-05-15
* class CoqIde donnée à l'application, pour une meilleure intégrationGravatar filliatr2003-05-15
* coqide: .* on start/add \n on eofGravatar monate2003-05-14
* coqide: load/save file encoding support/Gravatar monate2003-05-14
* coqide: all can focusGravatar monate2003-05-12
* CoqIde: AccelMap supportGravatar monate2003-05-12
* coqide: missing filesGravatar monate2003-05-07
* coqide: GtkData depGravatar monate2003-05-07
* coqide: toolbar/autosaveGravatar monate2003-05-07
* coqide: search forw+backGravatar monate2003-04-29
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 00:53:38 +0000