coq - The formal proof system

Age	Commit message (Expand)	Author
2021-01-27	[sysinit] new component for system initialization	Enrico Tassi
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-07-08	Usage: bypassing a useless detour via a reference.	Hugo Herbelin
2019-07-08	An even more uniform treatment of the -help option across executables.	Hugo Herbelin
2019-07-08	A classification of command line options.	Hugo Herbelin
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-01-30	[toplevel] Deprecate the `-compile` flag in favor of `coqc`.	Emilio Jesus Gallego Arias
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2017-05-23	Usage.print_config moved to Envars	Enrico Tassi
2016-06-16	--print-version produces machine readable version info	Enrico Tassi
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2014-09-09	toploop plugins taken into account when printing --help (close: 3535)	Enrico Tassi
2012-08-08	Updating headers.	herbelin
2010-09-14	CoqIDE argv parsing delegated to coqtop	vgross
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-06-22	New script dev/tools/change-header to automatically update Coq files headers.	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-04-29	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill
2009-02-11	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin
2008-12-26	- Suppression date dans configure du trunk	herbelin
2008-11-13	Tentative d'amélioration de la robustesse des Makefile générés par	notin
2004-07-16	Nouvelle en-tête	herbelin
2001-05-11	application patch Claudio	filliatr
2001-03-15	entetes	filliatr
2000-12-12	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr
2000-11-24	- coqc: utilise le meilleur coq possible	filliatr
1999-12-03	modules profile, Coqinit et Coqtop (=main)	filliatr