coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
* \|	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
\| \| \| * \| \| \|	Remove deprecated option Tactic Compat Context.	Théo Zimmermann	2017-12-11
\| \| \| \|/ / /
\| * \| \| \| \|	[flags] [stm] Reorganize flags.	Emilio Jesus Gallego Arias	2017-12-11
\| * \| \| \| \|	[stm] Move process_id to Spawned.	Emilio Jesus Gallego Arias	2017-12-11
\| \| \|/ / / \| \|/\| \| \|
\| \| * \| \|	[build] Remove coqmktop in favor of ocamlfind.	Emilio Jesus Gallego Arias	2017-12-10
\| \| * \| \|	[lib] Rename Profile to CProfile	Emilio Jesus Gallego Arias	2017-12-09
\| \|/ / /
* / / /	[lib] Convenience function for `Dyn.Easy`	Emilio Jesus Gallego Arias	2017-12-09
\|/ / /
* \| \|	Rename update to set, fixes #6196	Paul Steckler	2017-12-05
\| * \|	[kernel] Patch allowing to disable VM reduction.	Emilio Jesus Gallego Arias	2017-12-02
\|/ /