coq - The formal proof system

Age	Commit message (Expand)	Author
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