coq - The formal proof system

Age	Commit message (Expand)	Author
2008-05-21	Désactivation affichage image coqide en attendant un barcelos	herbelin
2008-05-21	Correction bugs ide undo et highlight (suite à typos)	herbelin
2008-05-20	Léger backtrack sur commit coqide précédent (si la commande à annuler	herbelin
2008-05-20	Fixed coqide bug #1856 that was introduced in revision 10915.	herbelin
2008-05-10	Amélioration de la colorisation, du backtrack et des messages de CoqIDE	herbelin
2008-05-08	Efficacité, bugs, robustesse CoqIDE	herbelin
2008-01-10	Correction du bug #1770: il semble que la recherche insensible à la casse ne...	notin
2007-12-06	Commit intermédiaire express de réparation de coqide.ml, que j'avais	aspiwack
2007-12-05	Factorisation des opérations sur le type option de Util dans un module	aspiwack
2007-10-18	Report de la révision #10197 (adaptation à Lablgtk 2.10.0)	notin
2007-10-16	Correction d'un bug de l'appel à make via Coqide	notin
2007-10-12	Maj du lien vers coq-bugs dans Coqide	notin
2007-10-09	Amélioration de l'appel aux outils externes via Coqide	notin
2007-04-26	fin des conclusions multiples	corbinea
2007-04-16	Add the possibility to change the position of tabs in main window (from r9717).	glondu
2006-10-28	Suite commit 9256: autres cas incorrects de prise en compte de @ dans les ident	herbelin
2006-10-23	fixed non-bug #1213	barras
2006-10-21	Pas d'@ dans les identificateurs (pour F4 and co)	herbelin
2006-10-13	Ajout des options Coqide suggérées par Damien Doligez (wish #1053)	notin
2006-09-29	Suppression des warnings à la compilation	notin
2006-09-20	Declarative Proof Language: main commit	corbinea
2006-06-09	Ajout d'une option -with-geoproof à la configuration et à l'exécution	notin
2006-06-07	Changement de l'option -where: on vérifie si la variable d'environnement COQ...	notin
2006-05-30	Correction bug #990 (LoadPath et option -R de coqide	notin
2006-05-02	Affichage des warning gtk comme warning coq	herbelin
2006-04-27	Standardisation nom option_app en option_map	herbelin
2005-12-13	changing the name of drgeocaml into GeoProof	narboux
2005-11-26	coqide send a ack to tell drgeocaml it is received	narboux
2005-11-25	* empty log message *	barras
2005-11-25	* empty log message *	barras
2005-11-23	bug de coqide sous windows (bad file descriptor)	barras
2005-11-17	implement support for drgeocaml	narboux
2005-11-08	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin
2005-07-15	improves shadows in the main window	narboux
2005-06-03	suppression de code commente	coq
2005-06-03	whelp + correction bug affichage de coqide	coq
2005-05-20	Achèvement du déplacement de fonctionnalités unix et browser de ide vers lib	herbelin
2005-01-06	- Module/Declare Module syntax made more uniform:	sacerdot
2004-10-15	2 bugs de reconnaissance	coq
2004-07-18	Abstraction vis a vis du type loc pour ocaml 3.08	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-04-06	warning dialog when save fails	marche
2004-03-03	ide: silent behavior better, save icon, -byte works	marche
2004-02-04	bug fix find coqide	coq
2004-02-04	highlight	marche
2004-02-04	search window	coq
2003-12-30	ameliorations coqide	coq
2003-12-16	coqide menus on golas	marche
2003-12-12	plus de syntaxe v8	marche
2003-12-09	commandes de coqide	marche