coq - The formal proof system

Age	Commit message (Expand)	Author
2012-02-29	Coq_makefile: Add of extra options by default	pboutill
2011-12-17	Coq_makefile: "beautify" target	pboutill
2011-12-17	Coq_makefile: "validate" target calls the checker over all vo.	pboutill
2011-12-17	Coq_makefile: section refactoring and no variables for OCaml if no ml* files ...	pboutill
2011-12-17	Coq_makefile: if no -install is provided, install location is set by a Makefi...	pboutill
2011-11-20	Teach coq_makefile how to install into XDG_DATA_HOME.	pboutill
2011-11-20	coq_makefile: Don't install with +x.	pboutill
2011-11-20	coq_makefile: Add Makefile variables specifying install	pboutill
2011-10-26	Coq_makefile handles .mlpack files	pboutill
2011-10-26	Coq_makefile includes coqtop -config without file generation	pboutill
2011-10-26	Coq_makefile: libraries in bytecode are now installed too	pboutill
2011-10-25	Coq_makefile: a more complete commentary about global variables	pboutill
2011-10-25	Coq_makefile does not install/compile explicitely cmo and cmxs? that are in a...	pboutill
2011-09-02	Coq_makefile: bugfix in install rule	pboutill
2011-09-01	Coq_makefile : bug when a project file is not in the current directory.	pboutill
2011-09-01	Coq_makefile.absolute_dir -> Minilib.canonical_path_name	pboutill
2011-09-01	Creation of ide/project_file.ml4	pboutill
2001-12-19	reparation du make depend et du .depend	letouzey
2001-09-19	la cible all était incomplète	filliatr
2001-09-19	make install dans coq_makefile et repertoire associe user-contrib ajoute au l...	filliatr
2001-07-17	"make clean" nettoie les .g all.ps all-gal.ps et les fichiers HTML	filliatr
2001-07-16	all.g.ps -> all-gal.ps	filliatr
2001-07-16	cibles all.ps et all-gal.ps (utilisation de coqweb)	filliatr
2001-05-29	Chgt de MAKE= ...	letouzey
2001-05-28	option -byte	filliatr
2001-05-11	application patch Claudio	filliatr
2001-04-23	patch Claudio pour coq_makefile	filliatr
2001-03-15	entetes	filliatr
2001-02-08	modifs mineures	filliatr
2001-01-30	backtrack sur le lexeur de la V6	filliatr
2000-12-11	numarg -> pure_numarg a poursuivre	mohring
2000-11-09	do_Makefile -> coq_makefile pour le bootstrap!	filliatr
1999-12-11	outils (manquent encore les deux filtres)	filliatr