aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* r8623@thot: notin | 2006-03-08 12:40:57 +0100Gravatar notin2006-03-08
* Restructuration et simplification des fonctions d'affichage, de détypageGravatar herbelin2006-01-11
* *** empty log message ***Gravatar barras2006-01-05
* changing the name of drgeocaml into GeoProofGravatar narboux2005-12-13
* coqide send a ack to tell drgeocaml it is receivedGravatar narboux2005-11-26
* *** empty log message ***Gravatar barras2005-11-25
* *** empty log message ***Gravatar barras2005-11-25
* bug de coqide sous windows (bad file descriptor)Gravatar barras2005-11-23
* Détection de la version de lablgtk (type GText.view)Gravatar herbelin2005-11-18
* Détection de la version de lablgtk (type GText.view)Gravatar herbelin2005-11-18
* implement support for drgeocamlGravatar narboux2005-11-17
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* Types inductifs parametriquesGravatar mohring2005-11-02
* improves shadows in the main windowGravatar narboux2005-07-15
* suppression de code commenteGravatar coq2005-06-03
* whelp + correction bug affichage de coqideGravatar coq2005-06-03
* Achèvement du déplacement de fonctionnalités unix et browser de ide vers libGravatar herbelin2005-05-20
* Déplacement de fonctionnalités unix et browser de ide vers libGravatar herbelin2005-05-19
* Compatibilité ocamlweb pour cible docGravatar herbelin2005-01-21
* - Module/Declare Module syntax made more uniform:Gravatar sacerdot2005-01-06
* Complétion déclarations coqideGravatar herbelin2004-11-27
* New command "Print Rewrite HindDb dbname".Gravatar sacerdot2004-11-17
* qq bugs du highlight de CoqIDEGravatar filliatr2004-10-28
* 2 bugs de reconnaissanceGravatar coq2004-10-15
* restructuration des printers: proofs passe avant parsingGravatar barras2004-09-17
* New command "Add Relation ..." (for the new implementation of setoid_*).Gravatar sacerdot2004-09-03
* "Print Setoids" command added.Gravatar sacerdot2004-07-23
* Abstraction vis a vis du type loc pour ocaml 3.08Gravatar herbelin2004-07-18
* Nouvelle en-têteGravatar herbelin2004-07-16
* added commands to ideGravatar corbinea2004-07-08
* but autoamtics tactics savingGravatar marche2004-05-03
* Achèvement du passage des emprunts à cameleon de Maxence Guesdon de la vers...Gravatar herbelin2004-04-30
* Ajout codingGravatar herbelin2004-04-13
* Passage a la version 1.3 sous GPL des outils okey et configwin de cameleon en...Gravatar herbelin2004-04-13
* warning dialog when save failsGravatar marche2004-04-06
* mise a jour des menusGravatar mohring2004-03-16
* ajout des Print Scopes dans liste commandes sans effetGravatar mohring2004-03-15
* ide: silent behavior better, save icon, -byte worksGravatar marche2004-03-03
* Localisation des erreurs d'internalisation des notations de tactiquesGravatar herbelin2004-02-12
* bug fix find coqideGravatar coq2004-02-04
* highlightGravatar marche2004-02-04
* search windowGravatar coq2004-02-04
* pour ide sous windowsGravatar coq2004-01-29
* coqide utf8Gravatar marche2004-01-20
* Reflet dans l'arbre de syntaxe de la difference syntaxique entre 'Variables a...Gravatar herbelin2004-01-13
* meilleure presentation des commentaires du traducteurGravatar barras2004-01-02
* ameliorations coqideGravatar coq2003-12-30
* coqide menus on golasGravatar marche2003-12-16
* plus de syntaxe v8Gravatar marche2003-12-12
* commandes de coqideGravatar marche2003-12-09