coq - The formal proof system

Age	Commit message (Collapse)	Author
2017-12-27	[API] remove large file containing duplicate interfaces	Enrico Tassi
	... in favor of having Public/Internal sub modules in each and every module grouping functions according to their intended client.
2017-12-23	Forbidding -o and -f in input file of coq_makefile.	Hugo Herbelin
	This was apparently either silently doing nothing or failing.
2017-09-27	Avoid looping when searching for CoqProject.	Maxime Dénès
	This could happen with paths on Windows, or even relative paths on all OSs. Fixes #5730: CoqIDE becomes unresponsive on file open.
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
	Plugin-writers can now use: -bypass-API parameter with "coq_makefile". The effect of that is that instead of -I API the plugin will be compiled with: -I config" -I dev -I lib -I kernel -I library -I engine -I pretyping -I interp -I parsing -I proofs -I tactics -I toplevel -I printing -I intf -I grammar -I ide -I stm -I vernac
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
	The .mli only acknowledges the current API. I'm not guilty your honor!