coq - The formal proof system

Age	Commit message (Expand)	Author
2009-01-19	- Structuring Numbers and fixing Setoid in stdlib's doc.	herbelin
2008-12-29	- Added support for subterm matching in SearchAbout.	herbelin
2008-12-09	About "apply in":	herbelin
2008-09-06	Use $(COQTOPEXE) to refer to bin/coqtop in Makefiles	glondu
2008-08-04	Évolutions diverses et variées.	herbelin
2008-06-11	MAJ diverses	herbelin
2008-06-08	- Patch sur "intros until 0"	herbelin
2008-06-08	- Extension de "generalize" en "generalize c as id at occs".	herbelin
2008-06-05	Fix typos	lmamane
2008-05-28	- Correction bug highlighting "Module" dans Coqide	herbelin
2008-05-05	Mise en place d'un algorithme d'inversion des contraintes de type lors	herbelin
2008-05-03	Quelques éléments de réflexion	herbelin
2008-04-27	Correction du bug des types singletons pas sous-type de Set	herbelin
2008-04-03	Chgts mineurs:	herbelin
2008-02-13	Implement KEEP_ML4_PREPROCESSED option in build system	lmamane
2008-02-13	Implement NO_RECALC_DEPS option in build system	lmamane
2007-10-29	MAJ	herbelin
2007-10-11	Allow a few build system optimisations/corner-cutting	lmamane
2007-07-25	Add glob.dump to Makefile the recommended way and document the	lmamane
2007-07-16	Reorganise cleaning targets	lmamane
2007-07-16	A cleaner solution to "make deletes .ml4.d files -> infinite loop" problem	lmamane
2007-07-13	New bootstrapping, improved, Makefile system	corbinea
2007-05-21	MAJ	herbelin
2007-04-29	Quelques exemples sur l'asymétrie de la conversion	herbelin
2007-04-28	Ajout de la possibilité d'utiliser les evars dans apply_in et elim_in.	herbelin
2007-04-18	- Correction d'un bug de make_clenv_binding_apply révélé par le commit 9771	herbelin
2006-11-19	MAJ	herbelin
2006-10-30	MAJ	herbelin
2006-06-10	MAJ fichier dev/doc/changes.txt	herbelin
2006-05-23	Mise à jour dev/doc/changes.txt et ajout d'un mot sur TACTIC EXTEND	herbelin
2006-05-23	Restructuration dossier dev et mise à jour de certaines documentations	herbelin
2006-04-28	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin
2006-04-27	Suppression de l'entrée devdoc dans le Makefile principal et modification en...	notin
2006-03-06	Deplacement du répertoire doc dans dev	notin