aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* Changement des modifeurs par défaut dans CoqIDE (problème de compatibilité...Gravatar notin2006-11-07
* Suite commit 9256: autres cas incorrects de prise en compte de @ dans les identGravatar herbelin2006-10-28
* fixed same_file (#1141)Gravatar barras2006-10-23
* fixed non-bug #1213Gravatar barras2006-10-23
* Pas d'@ dans les identificateurs (pour F4 and co)Gravatar herbelin2006-10-21
* coqide: affichage des sous-buts et hypothèses et métas comme types deGravatar herbelin2006-10-19
* Ajout des options Coqide suggérées par Damien Doligez (wish #1053)Gravatar notin2006-10-13
* Suppression des warnings à la compilationGravatar notin2006-09-29
* 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