coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Ajout du traducteur	desmettr	2003-02-05
*	interface GTK2 experimentale	monate	2003-02-04
*	make check utilise toujours le Coq local	filliatr	2003-02-03
*	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-30
*	on cree toujours le sous-repertoire tactics/	filliatr	2003-01-24
*	Ajout de LinearIntuition; Ajout de New(Tauto\|Intuition\|LinearIntuition).	corbinea	2003-01-23
*	removes all references to ctast.ml the Makefile has been updated accordingly.	bertot	2003-01-22
*	MAJ pour renommage Rcomplet	desmettr	2003-01-22
*	Binome.v -> Binomial.v	desmettr	2003-01-21
*	renommage de TAF.v en MVT.v	desmettr	2003-01-16
*	Renommage de RealsB en Rbase	desmettr	2003-01-16
*	bit vectors	filliatr	2003-01-06
*	setoids dans noreal	letouzey	2002-12-09
*	MAJ	herbelin	2002-11-29
*	Réorganisation de la librairie des réels	desmettr	2002-11-27
*	Réorganisation de la librairie des réels	desmettr	2002-11-27
*	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-26
*	Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...	herbelin	2002-11-24
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Intégration des modifs de la branche mowgli :	herbelin	2002-11-05
*	ajout d'une entrée au makefile pour faire toutes les theories sauf les reals	letouzey	2002-11-04
*	commit du calcul des dependances un peu plus robuste	barras	2002-10-15
*	* empty log message *	desmettr	2002-10-14
*	Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...	herbelin	2002-10-13
*	Ajout ClassicalFacts	herbelin	2002-10-10
*	Lazy manuelles dans le code	coq	2002-10-07
*	Make sure that bin/parser exists when checking that it works	bertot	2002-10-07
*	Lazy experimentale temporaire...	coq	2002-10-05
*	* empty log message *	desmettr	2002-10-02
*	Adding the congruence closure tactics (CC and CCsolve).	corbinea	2002-10-01
*	* empty log message *	desmettr	2002-09-25
*	retablissement de Correctness (pas encore teste' cependant)	filliatr	2002-09-18
*	Pretty-printing preliminaire des modules, commandes	coq	2002-08-19
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	* empty log message *	desmettr	2002-07-31
*	* empty log message *	desmettr	2002-07-31
*	* empty log message *	desmettr	2002-07-29
*	* empty log message *	desmettr	2002-07-18
*	ajout de make otags utilisant otags plutot que etags	letouzey	2002-07-17
*	modification de make tags pour	letouzey	2002-07-17
*	MAJ Makefile pour Reals	desmettr	2002-07-16
*	code retour de make check	courant	2002-07-15
*	* empty log message *	desmettr	2002-07-12
*	* empty log message *	desmettr	2002-07-05
*	* empty log message *	desmettr	2002-07-01