aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* fixed iconsGravatar barras2007-09-04
* fin des conclusions multiplesGravatar corbinea2007-04-26
* New keyword "Inline" for Parameters and Axioms for automatic Gravatar soubiran2007-04-25
* Add the possibility to change the position of tabs in main window (from r9717).Gravatar glondu2007-04-16
* Fix a bug which sometimes made coqide crash after changingGravatar glondu2007-04-16
* Add subtac keywords to coqide and coqdoc, add 'dec' as keyword in subtac Utils.Gravatar msozeau2007-02-16
* redirection of errors in coqide + dynamic warning printer (needed for tm_egg)Gravatar corbinea2007-01-31
* decl mode: anonymous factsGravatar corbinea2007-01-25
* addition du neq unicodeGravatar letouzey2007-01-12
* 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