aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq.mli
Commit message (Expand)AuthorAge
* Coqide : les nouveaute d'aoutGravatar monate2003-09-19
* coqide: fixed problems with -R -I and coqide interactionGravatar monate2003-07-16
* coqide : status bar more informative, forbid Section/Module in proo modeGravatar monate2003-06-25
* CoqIDE: undo immediat sur les commandes ne modifiant pas l'etatGravatar filliatr2003-06-13
* coqide: blaster interruptibleGravatar monate2003-05-26
* coqide: blaster V1Gravatar monate2003-05-22
* coqide: toolbar/autosaveGravatar monate2003-05-07
* coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc...Gravatar monate2003-03-26
* coqide: maj commandesGravatar monate2003-03-14
* IDE: majGravatar monate2003-03-04
* *** empty log message ***Gravatar monate2003-02-24
* Undo dans Coq IDEGravatar filliatr2003-02-11
* interface GTK2 experimentaleGravatar monate2003-02-04