aboutsummaryrefslogtreecommitdiff
path: root/ide/coq.mli
AgeCommit message (Expand)Author
2007-04-26fin des conclusions multiplescorbinea
2006-09-20Declarative Proof Language: main commitcorbinea
2006-05-30Correction bug #990 (LoadPath et option -R de coqidenotin
2005-01-21Compatibilité ocamlweb pour cible docherbelin
2004-07-18Abstraction vis a vis du type loc pour ocaml 3.08herbelin
2004-07-16Nouvelle en-têteherbelin
2004-03-03ide: silent behavior better, save icon, -byte worksmarche
2003-09-19Coqide : les nouveaute d'aoutmonate
2003-07-16coqide: fixed problems with -R -I and coqide interactionmonate
2003-06-25coqide : status bar more informative, forbid Section/Module in proo modemonate
2003-06-13CoqIDE: undo immediat sur les commandes ne modifiant pas l'etatfilliatr
2003-05-26coqide: blaster interruptiblemonate
2003-05-22coqide: blaster V1monate
2003-05-07coqide: toolbar/autosavemonate
2003-03-26coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc...monate
2003-03-14coqide: maj commandesmonate
2003-03-04IDE: majmonate
2003-02-24*** empty log message ***monate
2003-02-11Undo dans Coq IDEfilliatr
2003-02-04interface GTK2 experimentalemonate
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 01:39:58 +0000