aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* Declarative Proof Language: main commitGravatar corbinea2006-09-20
* Suite commit 9110 (uniformisation position notation dans les blocs inductifs)Gravatar herbelin2006-09-01
* Modifications dans les scripts de configuration (coqtop et coqide affichent m...Gravatar notin2006-07-28
* Remplacement VernacDebug par VernacSetOption (suite)Gravatar herbelin2006-07-06
* Ajout d'une option -with-geoproof à la configuration et à l'exécutionGravatar notin2006-06-09
* Correction du bug #728(1086) (ordre de sauvegarde des tactiques dans coqide)Gravatar notin2006-06-08
* Changement de l'option -where: on vérifie si la variable d'environnement COQ...Gravatar notin2006-06-07
* Colorisation dans CoqideGravatar notin2006-05-31
* Correction bug #990 (LoadPath et option -R de coqideGravatar notin2006-05-30
* Affichage des warning gtk comme warning coqGravatar herbelin2006-05-02
* Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...Gravatar notin2006-04-28
* Standardisation nom option_app en option_mapGravatar herbelin2006-04-27
* 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