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
*	Merge PR #7437: [coqdep] Minor cleanups.	Pierre-Marie Pédrot	2018-05-10
\|\
\| *	[CoqProject] Add some comments and remove unnecessary use of Pp.	Emilio Jesus Gallego Arias	2018-05-08
* \|	[lib] Re-add `set_timeout` to help users workaround #7408	Emilio Jesus Gallego Arias	2018-05-07
\|/
*	Merge PR #6958: [lib] Move global options to their proper place.	Maxime Dénès	2018-04-30
\|\
* \|	Always print explanation for univ inconsistency, rm Flags.univ_print	Gaëtan Gilbert	2018-04-26
* \|	Merge PR #7194: [warnings] Remove `set_current_loc` hack.	Maxime Dénès	2018-04-12
\|\ \
* \ \	Merge PR #7107: Fixes #7100: lost of main file location in case of Ltac failu...	Pierre-Marie Pédrot	2018-04-12
\|\ \ \
\| \| * \|	[warnings] Remove `set_current_loc` hack.	Emilio Jesus Gallego Arias	2018-04-11
\| \|/ / \|/\| \|
\| * \|	Fixing #7100 (lost of main file location in case of Ltac failure in other file).	Hugo Herbelin	2018-04-04
\| \| *	[lib] Move global options to their proper place.	Emilio Jesus Gallego Arias	2018-04-02
* \| \|	Fix #7101: STM delegation policy broken	Maxime Dénès	2018-03-28
\| \|/ \|/\|
* \|	[vernac] Move `Quit` and `Drop` to the toplevel layer.	Emilio Jesus Gallego Arias	2018-03-11
\|/
*	Merge PR #6496: Generate typed generic code from ltac macros	Maxime Dénès	2018-03-09
\|\
* \	Merge PR #6851: Fix #6830: coqdep VDFILE uses too many arguments for fiat-cry...	Maxime Dénès	2018-03-09
\|\ \
\| \| *	Make most of TACTIC EXTEND macros runtime calls.	Maxime Dénès	2018-03-08
\| \|/ \|/\|
\| *	Closes #6830: coqdep reads options and files from _CoqProject.	Gaëtan Gilbert	2018-03-06
* \|	Remove non-existent dependency	mrmr1993	2018-03-05
* \|	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\ \
* \| \|	Remove 8.5 compatibility support.	Théo Zimmermann	2018-03-02
* \| \|	Remove VOld compatibility flag.	Théo Zimmermann	2018-03-02
\| \| *	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
\| \|/
* /	Fix #6751 trust_file_cache logic was inverted	Gaëtan Gilbert	2018-02-27
\|/
*	New IR in VM: Clambda.	Maxime Dénès	2018-02-23
*	Merge PR #6753: [toplevel] Make toplevel state into a record.	Maxime Dénès	2018-02-19
\|\
* \	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
\| \| *	[ide] Localize a IDE-specific flag.	Emilio Jesus Gallego Arias	2018-02-15
\| \|/ \|/\|
* \|	[error] Replace msg_error by a proper exception.	Emilio Jesus Gallego Arias	2018-02-09
\|/
*	[lib] Respect change of options under with/without_option.	Emilio Jesus Gallego Arias	2018-01-30
*	Merge PR #6493: [API] remove large file containing duplicate interfaces	Maxime Dénès	2017-12-29
\|\
* \	Merge PR #6405: Remove the local polymorphic flag hack.	Maxime Dénès	2017-12-29
\|\ \
* \ \	Merge PR #6433: [flags] Move global time flag into an attribute.	Maxime Dénès	2017-12-29
\|\ \ \
\| \| \| *	[API] remove large file containing duplicate interfaces	Enrico Tassi	2017-12-27
\| \|_\|/ \|/\| \|
\| \| *	Remove the local polymorphic flag hack.	Maxime Dénès	2017-12-27
\| \|/ \|/\|
* \|	Merge PR #6040: Making coq_makefile usage consistent with what it claims + po...	Maxime Dénès	2017-12-27
\|\ \
\| \| *	[flags] Move global time flag into an attribute.	Emilio Jesus Gallego Arias	2017-12-23
* \| \|	[lib] Split auxiliary libraries into Coq-specific and general.	Emilio Jesus Gallego Arias	2017-12-23
\| \|/ \|/\|
\| *	Forbidding -o and -f in input file of coq_makefile.	Hugo Herbelin	2017-12-23
* \|	Merge PR #6413: [econstr] Switch constrintern API to non-imperative style.	Maxime Dénès	2017-12-18
\|\ \
* \ \	Merge PR #6264: [kernel] Patch allowing to disable VM reduction.	Maxime Dénès	2017-12-14
\|\ \ \
* \ \ \	Merge PR #978: In printing, experimenting factorizing "match" clauses with sa...	Maxime Dénès	2017-12-14
\|\ \ \ \
* \ \ \ \	Merge PR #6169: Clean up/deprecated options	Maxime Dénès	2017-12-14
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.	Maxime Dénès	2017-12-14
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR #1108: [stm] Reorganize flags	Maxime Dénès	2017-12-13
\|\ \ \ \ \ \ \
\| \| \| \| \| \| * \|	[lib] Auxiliary functions in List + fixes.	Emilio Jesus Gallego Arias	2017-12-13
\| \|_\|_\|_\|_\|/ / \|/\| \| \| \| \| \|
\| \| \| \| * \| \|	Improving spacing in printing disjunctive patterns.	Hugo Herbelin	2017-12-12