coq - The formal proof system

Age	Commit message (Expand)	Author
2018-06-27	Turn CoqProject_file into a normal OCaml file.	Pierre-Marie Pédrot
2018-05-08	[CoqProject] Add some comments and remove unnecessary use of Pp.	Emilio Jesus Gallego Arias
2018-03-09	Merge PR #6851: Fix #6830: coqdep VDFILE uses too many arguments for fiat-cry...	Maxime Dénès
2018-03-06	Closes #6830: coqdep reads options and files from _CoqProject.	Gaëtan Gilbert
2018-03-01	Add source (project file / command line) to project fields.	Gaëtan Gilbert
2018-02-28	Fix #6830: coqdep VDFILE uses too many arguments for fiat-crypto/OSX	Gaëtan Gilbert
2018-02-27	Update headers following #6543.	Théo Zimmermann
2018-02-09	[error] Replace msg_error by a proper exception.	Emilio Jesus Gallego Arias
2017-12-27	[API] remove large file containing duplicate interfaces	Enrico Tassi
2017-12-23	Forbidding -o and -f in input file of coq_makefile.	Hugo Herbelin
2017-09-27	Avoid looping when searching for CoqProject.	Maxime Dénès
2017-07-20	coq_makefile: use System.exists_dir for better portability	Enrico Tassi
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2017-06-12	Add support for "-bypass-API" argument of "coq_makefile"	Matej Košík
2017-05-23	coq_makefile: avoid spurious ./ in generated .conf file	Enrico Tassi
2017-05-23	CoqProject_file: document in API deprecated features	Enrico Tassi
2017-05-23	CoqProject_file: API and code cleanup (tuples -> records)	Enrico Tassi
2017-05-23	ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mli	Enrico Tassi