aboutsummaryrefslogtreecommitdiff
path: root/ide/coqide.ml
AgeCommit message (Expand)Author
2005-12-13changing the name of drgeocaml into GeoProofnarboux
2005-11-26coqide send a ack to tell drgeocaml it is receivednarboux
2005-11-25*** empty log message ***barras
2005-11-25*** empty log message ***barras
2005-11-23bug de coqide sous windows (bad file descriptor)barras
2005-11-17implement support for drgeocamlnarboux
2005-11-08Nettoyage suite à la détection par défaut des variables inutilisées par o...herbelin
2005-07-15improves shadows in the main windownarboux
2005-06-03suppression de code commentecoq
2005-06-03whelp + correction bug affichage de coqidecoq
2005-05-20Achèvement du déplacement de fonctionnalités unix et browser de ide vers libherbelin
2005-01-06- Module/Declare Module syntax made more uniform:sacerdot
2004-10-152 bugs de reconnaissancecoq
2004-07-18Abstraction vis a vis du type loc pour ocaml 3.08herbelin
2004-07-16Nouvelle en-têteherbelin
2004-04-06warning dialog when save failsmarche
2004-03-03ide: silent behavior better, save icon, -byte worksmarche
2004-02-04bug fix find coqidecoq
2004-02-04highlightmarche
2004-02-04search windowcoq
2003-12-30ameliorations coqidecoq
2003-12-16coqide menus on golasmarche
2003-12-12plus de syntaxe v8marche
2003-12-09commandes de coqidemarche
2003-12-08preferencesmarche
2003-12-08bug de preferencs/font"marche
2003-12-05power associe a droitemarche
2003-12-04changement menu et toolbarmarche
2003-12-01contrib jcfmarche
2003-11-28commands renomme en queries, command goto a la place de forward to backwardt omarche
2003-11-25textesmarche
2003-11-24aboutmarche
2003-11-24tentative de completion ESC-/ a la emacsletouzey
2003-10-23Conjecture declare maintenant un axiome; reorganisation VernacDefinitionherbelin
2003-10-09Syntaxe VernacEndProof changee pour ajout mot-cle 'Admitted'herbelin
2003-09-19coqide auto complete initial bug fixmarche
2003-09-19Coqide : les nouveaute d'aoutmonate
2003-09-03option pour supprimer les menus contextuels sur les butsmarche
2003-09-02auto completion disabled par defautmarche
2003-07-18coqide: new search and AutoCompletionmonate
2003-07-16coqide: fixed problems with -R -I and coqide interactionmonate
2003-07-10coqide: warn when using locale or manual charsetmonate
2003-07-07Coqide : focus bug in goal windowmonate
2003-07-07Coqide : ported to lablgtk2 snapshot of 2003/07/07monate
2003-06-25coqide : status bar more informative, forbid Section/Module in proo modemonate
2003-06-19undo de "Time tactic"filliatr
2003-06-19typofilliatr
2003-06-18*** empty log message ***monate
2003-06-13coqide: indentationmonate
2003-06-13coqide: about now displays versions/Fix for alt-entermonate
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-22 00:19:10 +0000