coq - The formal proof system

Age	Commit message (Expand)	Author
2006-06-07	Changement de l'option -where: on vérifie si la variable d'environnement COQ...	notin
2006-05-31	Colorisation dans Coqide	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-28	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin
2006-04-27	Standardisation nom option_app en option_map	herbelin
2006-03-08	r8623@thot: notin \| 2006-03-08 12:40:57 +0100	notin
2006-01-11	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin
2006-01-05	* empty log message *	barras
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-18	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-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-11-02	Types inductifs parametriques	mohring
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-05-19	Déplacement de fonctionnalités unix et browser de ide vers lib	herbelin
2005-01-21	Compatibilité ocamlweb pour cible doc	herbelin
2005-01-06	- Module/Declare Module syntax made more uniform:	sacerdot
2004-11-27	Complétion déclarations coqide	herbelin
2004-11-17	New command "Print Rewrite HindDb dbname".	sacerdot
2004-10-28	qq bugs du highlight de CoqIDE	filliatr
2004-10-15	2 bugs de reconnaissance	coq
2004-09-17	restructuration des printers: proofs passe avant parsing	barras
2004-09-03	New command "Add Relation ..." (for the new implementation of setoid_*).	sacerdot
2004-07-23	"Print Setoids" command added.	sacerdot
2004-07-18	Abstraction vis a vis du type loc pour ocaml 3.08	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-07-08	added commands to ide	corbinea
2004-05-03	but autoamtics tactics saving	marche
2004-04-30	Achèvement du passage des emprunts à cameleon de Maxence Guesdon de la vers...	herbelin
2004-04-13	Ajout coding	herbelin
2004-04-13	Passage a la version 1.3 sous GPL des outils okey et configwin de cameleon en...	herbelin
2004-04-06	warning dialog when save fails	marche
2004-03-16	mise a jour des menus	mohring
2004-03-15	ajout des Print Scopes dans liste commandes sans effet	mohring
2004-03-03	ide: silent behavior better, save icon, -byte works	marche
2004-02-12	Localisation des erreurs d'internalisation des notations de tactiques	herbelin
2004-02-04	bug fix find coqide	coq
2004-02-04	highlight	marche
2004-02-04	search window	coq
2004-01-29	pour ide sous windows	coq
2004-01-20	coqide utf8	marche