coq - The formal proof system

Age	Commit message (Expand)	Author
2003-02-24	aide contextuelle / menus compilation + print + export	filliatr
2003-02-24	ide changes	monate
2003-02-21	CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)	filliatr
2003-02-13	Debugger plus informatif	delahaye
2003-02-05	Ajout du traducteur	desmettr
2003-02-04	interface GTK2 experimentale	monate
2003-02-03	make check utilise toujours le Coq local	filliatr
2003-01-30	Adds a possibility to construct a term as if it had been parsed through	bertot
2003-01-30	Make sure the parser is compiled in native mode.	bertot
2003-01-30	Ajoute les directives pour créer aussi bin/coq-interface.opt	bertot
2003-01-30	pas de Xml.vo	filliatr
2003-01-24	on cree toujours le sous-repertoire tactics/	filliatr
2003-01-23	Ajout de LinearIntuition; Ajout de New(Tauto\|Intuition\|LinearIntuition).	corbinea
2003-01-22	removes all references to ctast.ml the Makefile has been updated accordingly.	bertot
2003-01-22	MAJ pour renommage Rcomplet	desmettr
2003-01-21	Binome.v -> Binomial.v	desmettr
2003-01-16	renommage de TAF.v en MVT.v	desmettr
2003-01-16	Renommage de RealsB en Rbase	desmettr
2003-01-06	bit vectors	filliatr
2002-12-09	setoids dans noreal	letouzey
2002-11-29	MAJ	herbelin
2002-11-27	Réorganisation de la librairie des réels	desmettr
2002-11-27	Réorganisation de la librairie des réels	desmettr
2002-11-26	Options make coqlight/ make install-coqlight pour les impatients...	desmettr
2002-11-26	Option pour compiler une version 'light' des réels	desmettr
2002-11-26	MAJ	herbelin
2002-11-24	Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-11-05	Intégration des modifs de la branche mowgli :	herbelin
2002-11-04	ajout d'une entrée au makefile pour faire toutes les theories sauf les reals	letouzey
2002-10-15	commit du calcul des dependances un peu plus robuste	barras
2002-10-14	* empty log message *	desmettr
2002-10-13	Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...	herbelin
2002-10-10	Ajout ClassicalFacts	herbelin
2002-10-07	Lazy manuelles dans le code	coq
2002-10-07	Make sure that bin/parser exists when checking that it works	bertot
2002-10-05	Lazy experimentale temporaire...	coq
2002-10-02	* empty log message *	desmettr
2002-10-01	Adding the congruence closure tactics (CC and CCsolve).	corbinea
2002-09-25	* empty log message *	desmettr
2002-09-18	retablissement de Correctness (pas encore teste' cependant)	filliatr
2002-08-19	Pretty-printing preliminaire des modules, commandes	coq
2002-08-02	Modules dans COQ\!\!\!\!	coq
2002-07-31	* empty log message *	desmettr
2002-07-31	* empty log message *	desmettr
2002-07-29	* empty log message *	desmettr
2002-07-18	* empty log message *	desmettr
2002-07-17	ajout de make otags utilisant otags plutot que etags	letouzey
2002-07-17	modification de make tags pour	letouzey
2002-07-16	MAJ Makefile pour Reals	desmettr