aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq.mli
Commit message (Expand)AuthorAge
* - Prise en compte des frozen state de Coq autant que possible pourGravatar herbelin2008-05-24
* Amélioration de la colorisation, du backtrack et des messages de CoqIDEGravatar herbelin2008-05-10
* ** Efficacité, bugs, robustesse CoqIDE **Gravatar herbelin2008-05-08
* fin des conclusions multiplesGravatar corbinea2007-04-26
* Declarative Proof Language: main commitGravatar corbinea2006-09-20
* Correction bug #990 (LoadPath et option -R de coqideGravatar notin2006-05-30
* Compatibilité ocamlweb pour cible docGravatar herbelin2005-01-21
* Abstraction vis a vis du type loc pour ocaml 3.08Gravatar herbelin2004-07-18
* Nouvelle en-têteGravatar herbelin2004-07-16
* ide: silent behavior better, save icon, -byte worksGravatar marche2004-03-03
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-30 15:03:58 +0000