coq - The formal proof system

Age	Commit message (Expand)	Author
2001-04-19	remplace Zarith par ZArith	mohring
2001-04-11	documentation automatique de la bibliothèque standard	filliatr
2001-04-08	ajout des lemmes Zimmerman	mohring
2001-03-15	entetes	filliatr
2001-02-14	Renommage des variables dans les schémas d'induction	herbelin
2001-02-08	simplification du make depend; fonctions de stat. util. memoire dans certains...	filliatr
2001-02-01	- coqc : option -image	filliatr
2001-01-15	Ajout de commentaire coqweb	mohring
2001-01-11	Mise a jour Rbase	mohring
2001-01-09	Meta Definition -> Tactic Definition	delahaye
2001-01-09	Tactic Definition -> Meta Definition	delahaye
2000-12-20	Rétablissement de l'ancien comportement de Simpl sauf dans le cas mutuel ind...	herbelin
2000-11-28	Elimination du '	delahaye
2000-11-27	Remettre une section dans fast_integer pour contourner un bug de définition ...	herbelin
2000-11-20	Nettoyage + prise en compte noms longs	herbelin
2000-11-20	Suppression de la section fast_integer qui cachait le nom du module éponyme	herbelin
2000-11-11	Y avait des '.' non suivis d'un séparateur	herbelin
2000-10-27	Passage command -> constr	herbelin
2000-10-27	g_natsyntax et g_zsyntax maintenant toujours linkes	filliatr
2000-10-18	Parsing des motifs de Syntax avec la grammaire associée à l'univers de la d...	herbelin
2000-10-10	Finalement, encore un Simpl inutile	herbelin
2000-10-06	Changement dans la stratégie de réduction du Fix par Simpl	herbelin
2000-05-03	Ajout du langage de tactiques	delahaye
2000-05-02	portage Omega (mais toujours pas Zpower et Zlogarithm)	filliatr
2000-04-26	suppression doublon	filliatr
2000-03-30	erreurs lexicales dans les patterns (manquait des espaces)	filliatr
2000-03-21	- bug make_module_marker (plus de # et de .obj maintenant)	filliatr
2000-03-21	Retour sur les anciens noms	herbelin
2000-03-18	Zarith	filliatr