index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
Commit message (
Expand
)
Author
Age
*
redirection of errors in coqide + dynamic warning printer (needed for tm_egg)
corbinea
2007-01-31
*
decl mode: anonymous facts
corbinea
2007-01-25
*
addition du neq unicode
letouzey
2007-01-12
*
Changement des modifeurs par défaut dans CoqIDE (problème de compatibilité...
notin
2006-11-07
*
Suite commit 9256: autres cas incorrects de prise en compte de @ dans les ident
herbelin
2006-10-28
*
fixed same_file (#1141)
barras
2006-10-23
*
fixed non-bug #1213
barras
2006-10-23
*
Pas d'@ dans les identificateurs (pour F4 and co)
herbelin
2006-10-21
*
coqide: affichage des sous-buts et hypothèses et métas comme types de
herbelin
2006-10-19
*
Ajout des options Coqide suggérées par Damien Doligez (wish #1053)
notin
2006-10-13
*
Suppression des warnings à la compilation
notin
2006-09-29
*
Declarative Proof Language: main commit
corbinea
2006-09-20
*
Suite commit 9110 (uniformisation position notation dans les blocs inductifs)
herbelin
2006-09-01
*
Modifications dans les scripts de configuration (coqtop et coqide affichent m...
notin
2006-07-28
*
Remplacement VernacDebug par VernacSetOption (suite)
herbelin
2006-07-06
*
Ajout d'une option -with-geoproof à la configuration et à l'exécution
notin
2006-06-09
*
Correction du bug #728(1086) (ordre de sauvegarde des tactiques dans coqide)
notin
2006-06-08
*
Changement de l'option -where: on vérifie si la variable d'environnement COQ...
notin
2006-06-07
*
Colorisation dans Coqide
notin
2006-05-31
*
Correction bug #990 (LoadPath et option -R de coqide
notin
2006-05-30
*
Affichage des warning gtk comme warning coq
herbelin
2006-05-02
*
Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...
notin
2006-04-28
*
Standardisation nom option_app en option_map
herbelin
2006-04-27
*
r8623@thot: notin | 2006-03-08 12:40:57 +0100
notin
2006-03-08
*
Restructuration et simplification des fonctions d'affichage, de détypage
herbelin
2006-01-11
*
*** empty log message ***
barras
2006-01-05
*
changing the name of drgeocaml into GeoProof
narboux
2005-12-13
*
coqide send a ack to tell drgeocaml it is received
narboux
2005-11-26
*
*** empty log message ***
barras
2005-11-25
*
*** empty log message ***
barras
2005-11-25
*
bug de coqide sous windows (bad file descriptor)
barras
2005-11-23
*
Détection de la version de lablgtk (type GText.view)
herbelin
2005-11-18
*
Détection de la version de lablgtk (type GText.view)
herbelin
2005-11-18
*
implement support for drgeocaml
narboux
2005-11-17
*
Nettoyage suite à la détection par défaut des variables inutilisées par o...
herbelin
2005-11-08
*
Types inductifs parametriques
mohring
2005-11-02
*
improves shadows in the main window
narboux
2005-07-15
*
suppression de code commente
coq
2005-06-03
*
whelp + correction bug affichage de coqide
coq
2005-06-03
*
Achèvement du déplacement de fonctionnalités unix et browser de ide vers lib
herbelin
2005-05-20
*
Déplacement de fonctionnalités unix et browser de ide vers lib
herbelin
2005-05-19
*
Compatibilité ocamlweb pour cible doc
herbelin
2005-01-21
*
- Module/Declare Module syntax made more uniform:
sacerdot
2005-01-06
*
Complétion déclarations coqide
herbelin
2004-11-27
*
New command "Print Rewrite HindDb dbname".
sacerdot
2004-11-17
*
qq bugs du highlight de CoqIDE
filliatr
2004-10-28
*
2 bugs de reconnaissance
coq
2004-10-15
*
restructuration des printers: proofs passe avant parsing
barras
2004-09-17
*
New command "Add Relation ..." (for the new implementation of setoid_*).
sacerdot
2004-09-03
*
"Print Setoids" command added.
sacerdot
2004-07-23
[next]