coq - The formal proof system

Age	Commit message (Expand)	Author
2001-04-24	Retire le repertoire Num	mohring
2001-04-24	Correction typos	mohring
2001-04-24	ajout d'un fichier README	letouzey
2001-04-24	ajout necessaire pour paquet debian	courant
2001-04-24	Mise a jour KNOWN-BUGS	mohring
2001-04-24	Ajout de Rseries et Rtrigo_fun	mayero
2001-04-24	Fin d'optimisation (cas modules) + warning pour coind & ocaml	letouzey
2001-04-24	(Again) Little corrections for Library doc	coq
2001-04-24	cofix_warning dans les parametres d'extraction	filliatr
2001-04-24	MAJ de graphes de dependance pour la doc des sources	coq
2001-04-24	suffixes $(EXE) pour bin/parser; quelques binaires oubliés dans make clean	filliatr
2001-04-24	bin/coqtop est un lien vers bin/coqtop.$(BEST)	filliatr
2001-04-24	adding binary files that are needed for the graphical user-interface pcoq	bertot
2001-04-24	Removing a debug message for the search command.	bertot
2001-04-23	Ajout de syntaxe pour Ltac	delahaye
2001-04-23	Ajout Reals	mayero
2001-04-23	Ajouts Reals	mayero
2001-04-23	(One more) Minor layout adjustments for Library doc	coq
2001-04-23	forme code	filliatr
2001-04-23	Minor layout adjustments for Library doc	coq
2001-04-23	mise a jour	letouzey
2001-04-23	realisation des reals	letouzey
2001-04-23	un warning pas beau supprimmé	filliatr
2001-04-23	Gros nain avec de Bruijn...	letouzey
2001-04-23	divers	filliatr
2001-04-23	nettoyage	filliatr
2001-04-23	expansion des constr purs	filliatr
2001-04-23	reduction des let in dans whd_programs	filliatr
2001-04-23	version 7.0 finale	filliatr
2001-04-23	Uncurryfy_ast inutile depuis l'eta-expansion dans extraction.ml.	letouzey
2001-04-23	Remaniement Makefile de test. make reals possible	letouzey
2001-04-23	patch Claudio pour coq_makefile	filliatr
2001-04-20	test Fourier, DiscrR	mayero
2001-04-20	Ajout tactics Reals	mayero
2001-04-20	Ajout Fourier	mayero
2001-04-20	Ajout Fourier, DiscrR, ...	mayero
2001-04-20	Library doc adjustments (until page 140)	coq
2001-04-20	optimizations extraction	filliatr
2001-04-20	the file vernacrc, that is necessary to the graphical user-interface pcoq	bertot
2001-04-20	Mise a la norme lexicale	mohring
2001-04-20	Decomposition de Cases	mohring
2001-04-20	Erreurs de Cases	mohring
2001-04-20	Retire commenatires obsoletes	mohring
2001-04-20	* empty log message *	mohring
2001-04-20	un typage sûr pour Goal et Check	filliatr
2001-04-20	Hints.... added next to Hint....	coq
2001-04-20	Ajout d'erreurs sur le Case avec branche redondante	mohring
2001-04-20	Tests pour Field avec les nombres reels	delahaye
2001-04-20	Ajout de la ligne d'etat pour CVS	delahaye
2001-04-20	Petit menage	delahaye