aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* Branchement de l'auto-save de coqide par défautGravatar herbelin2008-03-04
* Correction du bug #1770: il semble que la recherche insensible à la casse ne...Gravatar notin2008-01-10
* migration of ide/utf8.v to theories/Unicode/Utf8.vGravatar letouzey2007-12-13
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06
* Commit intermédiaire express de réparation de coqide.ml, que j'avais Gravatar aspiwack2007-12-06
* Factorisation des opérations sur le type option de Util dans un module Gravatar aspiwack2007-12-05
* Report de la révision #10197 (adaptation à Lablgtk 2.10.0)Gravatar notin2007-10-18
* add visibility of extraction messages in coqideGravatar letouzey2007-10-16
* Correction d'un bug de l'appel à make via CoqideGravatar notin2007-10-16
* Maj du lien vers coq-bugs dans CoqideGravatar notin2007-10-12
* Amélioration de l'appel aux outils externes via CoqideGravatar notin2007-10-09
* Bug 1716: Scheme now print the right messagesGravatar vsiles2007-10-04
* 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