coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[ide] Remove special option `-ideslave`	Emilio Jesus Gallego Arias	2018-05-21
*	[stm] Make toplevels standalone executables.	Emilio Jesus Gallego Arias	2018-05-21
*	[coqdep] Remove unnecessary dependency on Pp and CError.	Emilio Jesus Gallego Arias	2018-05-08
*	[coqdep] Minor cleanups.	Emilio Jesus Gallego Arias	2018-05-08
*	Fix #7413: coqdep warning on repeated files	Gaëtan Gilbert	2018-05-04
*	Fix PHONY typo in coq_makefile	Gaëtan Gilbert	2018-04-27
*	Remove deprecated commands Arguments Scope and Implicit Arguments	Jasper Hugunin	2018-03-30
*	docs	Ralf Jung	2018-03-21
*	coq_makefile: provide variables to override for adding extra flags	Ralf Jung	2018-03-20
*	coq_makefile: FLAG make variables should not contain LIBS	Ralf Jung	2018-03-20
*	Merge PR #6851: Fix #6830: coqdep VDFILE uses too many arguments for fiat-cry...	Maxime Dénès	2018-03-09
\|\
* \	Merge PR #6582: Mangle auto-generated names	Maxime Dénès	2018-03-08
\|\ \
\| \| *	Closes #6830: coqdep reads options and files from _CoqProject.	Gaëtan Gilbert	2018-03-06
\| \| *	Add source (project file / command line) to project fields.	Gaëtan Gilbert	2018-03-01
\| \| *	Fix #6830: coqdep VDFILE uses too many arguments for fiat-crypto/OSX	Gaëtan Gilbert	2018-02-28
* \| \|	Update headers following #6543.	Théo Zimmermann	2018-02-27
\| \|/ \|/\|
* \|	Merge PR #6646: Change references to CAMLP4 to CAMLP5 since we no longer use ...	Maxime Dénès	2018-02-19
\|\ \
\| * \|	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle	2018-02-17
\| \| *	Implement name mangling option	Jasper Hugunin	2018-02-17
\| \|/ \|/\|
* \|	Merge PR #1073: new quick2vo target: like vio2vo, but smarter	Maxime Dénès	2018-02-15
\|\ \
\| * \|	new quick2vo target: like vio2vo, but smarter	Ralf Jung	2018-02-15
\| \|/
* \|	Merge PR #6741: coq_makefile: Support "" as the prefix in _CoqProject	Maxime Dénès	2018-02-15
\|\ \
\| * \|	coq_makefile: Support "" as the prefix in _CoqProject	Joachim Breitner	2018-02-15
* \| \|	Merge PR #6704: Fix coq_makefile not passing -R options to coqdoc, breaking l...	Maxime Dénès	2018-02-13
\|\ \ \ \| \|/ / \|/\| \|
* \| \|	[error] Replace msg_error by a proper exception.	Emilio Jesus Gallego Arias	2018-02-09
\| \|/ \|/\|
\| *	Possible fix for issue #6697	Yannick Forster	2018-02-07
\|/
*	Merge PR #6466: Replace md5sum/md5 calls by an OCaml program	Maxime Dénès	2018-01-16
\|\
\| *	Avoid shell backticks and improve md5sum.ml error messages	Jacques-Pascal Deplaix	2018-01-15
* \|	Added newline at the end of usage of coqdep.	Bernhard Schommer	2018-01-11
* \|	Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scripts	Maxime Dénès	2018-01-08
\|\ \
\| * \|	Add TIMING_SORT_BY and --sort-by to timing scripts	Jason Gross	2017-12-27
* \| \|	[API] remove large file containing duplicate interfaces	Enrico Tassi	2017-12-27
\|/ /
* \|	Merge PR #6040: Making coq_makefile usage consistent with what it claims + po...	Maxime Dénès	2017-12-27
\|\ \
\| \| *	Check the whole string given by md5sum.ml	Jacques-Pascal Deplaix	2017-12-24
\| \| *	Replace md5sum/md5 calls by an OCaml program	Jacques-Pascal Deplaix	2017-12-23
\| \|/ \|/\|
\| *	Registering a printing handler in coq_makefile.	Hugo Herbelin	2017-12-23
\| *	Forbidding -o and -f in input file of coq_makefile.	Hugo Herbelin	2017-12-23
\| *	Removing failure of coq_makefile on no arguments.	Hugo Herbelin	2017-12-23
* \|	Merge PR #6217: Do dependencies in 1 command per file class.	Maxime Dénès	2017-12-18
\|\ \
\| * \|	Do dependencies in 1 command per file class.	Gaëtan Gilbert	2017-12-15
* \| \|	Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.	Maxime Dénès	2017-12-14
\|\ \ \
* \ \ \	Merge PR #6388: Fix issue #6387	Maxime Dénès	2017-12-14
\|\ \ \ \
* \ \ \ \	Merge PR #1108: [stm] Reorganize flags	Maxime Dénès	2017-12-13
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #6175: Restoring filtering of native files passed to `rm` during `ma...	Maxime Dénès	2017-12-13
\|\ \ \ \ \ \
\| \| \| * \| \| \|	Fix issue #6387	Martin Vassor	2017-12-11
\| \|_\|/ / / / \|/\| \| \| \| \|
\| * \| \| \| \|	Restoring filtering of native files passed to `rm` during `make clean`.	Maxime Dénès	2017-12-11
\| \| \|_\|_\|/ \| \|/\| \| \|
\| \| * \| \|	[flags] [stm] Reorganize flags.	Emilio Jesus Gallego Arias	2017-12-11
\| \|/ / / \|/\| \| \|
\| \| * \|	[build] Remove coqmktop in favor of ocamlfind.	Emilio Jesus Gallego Arias	2017-12-10
\| \|/ / \|/\| \|
* \| \|	Merge PR #6142: Single quotes break on Windows	Maxime Dénès	2017-12-07
\|\ \ \
* \| \| \|	coq_makefile: pass filenames to coqchk	Ralf Jung	2017-11-29
\| \|_\|/ \|/\| \|