coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Previous version did compile but did not make it possible to actually run	bertot	2002-10-03
*	Simplification suite MAJ 3.06	herbelin	2002-10-03
*	maj	filliatr	2002-10-03
*	Changements Omega	courant	2002-10-02
*	* empty log message *	desmettr	2002-10-02
*	Fonctions Ln et puissance	desmettr	2002-10-02
*	debian pkg now recommends proof general	courant	2002-10-02
*	Omega can now elim hyps of type False. Therefore, it knows how to deal	courant	2002-10-02
*	maj	filliatr	2002-10-02
*	Adding the congruence closure tactics (CC and CCsolve).	corbinea	2002-10-01
*	Oops...	coq	2002-10-01
*	backslahs foireux	filliatr	2002-10-01
*	maj	filliatr	2002-10-01
*	Table fonctionnelle dans autorewrite	coq	2002-10-01
*	Vraie substitutivite de autohints	coq	2002-10-01
*	Cool dev/Makefile's	coq	2002-10-01
*	bug de noms long pour eqT.	clrenard	2002-10-01
*	Comparaisons des types pendant le sous-typage reactive	coq	2002-09-30
*	maj	filliatr	2002-09-30
*	Activation du hash-consing	herbelin	2002-09-29
*	Hash-consing pour kernel_name	herbelin	2002-09-29
*	Réparation hash_consing	herbelin	2002-09-29
*	Complétion filtrage	herbelin	2002-09-29
*	Que des niveaux d'univers frais dans le type des constantes globales	herbelin	2002-09-29
*	Modifs diverses	herbelin	2002-09-29
*	Que des niveaux d'univers frais dans le type des constantes globales	herbelin	2002-09-29
*	Filtrage redondant	herbelin	2002-09-27
*	passage a ocaml 3.06	herbelin	2002-09-27
*	Encore quelques rangements dans Nametab + petits trucs	coq	2002-09-27
*	maj	filliatr	2002-09-27
*	suppression de l'axiome eqDom	desmettr	2002-09-26
*	preuve d'un axiome restant via Rtopology	desmettr	2002-09-25
*	MAJ pour Rtopology	desmettr	2002-09-25
*	Proprietes topologiques dans R	desmettr	2002-09-25
*	* empty log message *	desmettr	2002-09-25
*	Affaiblissement de l'ordre sur Z on demande x < y et seulement	mohring	2002-09-25
*	Un peu (plus) d'ordre dans Nametab...	coq	2002-09-24
*	Nametab data structure reorganisation	coq	2002-09-24
*	suite chgt liés aux modules	letouzey	2002-09-24
*	Changement de sémantique de Remark : maintenant un global comme les autres	herbelin	2002-09-21
*	maj	filliatr	2002-09-21
*	La notation with dependante + affichage dependante de moduels corrige	coq	2002-09-20
*	maj	filliatr	2002-09-20
*	maj	filliatr	2002-09-20
*	maj	filliatr	2002-09-20
*	portage Correctness (substitutivité pour les modules)	filliatr	2002-09-19
*	retablissement de Correctness (pas encore teste' cependant)	filliatr	2002-09-18
*	echappements incorrects dans chaine	filliatr	2002-09-17
*	Réintroduction de l'expansion des variables de shell et de '~' dans les	herbelin	2002-09-16
*	Un peu plus de flexibilité pour la position du '.' final	herbelin	2002-09-16