coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
\|/ /
* \|	Merge PR #6241: [lib] Generalize Control.timeout type.	Maxime Dénès	2017-11-27
\|\ \
\| * \|	[lib] Generalize Control.timeout type.	Emilio Jesus Gallego Arias	2017-11-24
* \| \|	Unify style of comments in file CUnix.	Hugo Herbelin	2017-11-23
* \| \|	Add a function to surround filenames containing a space with quotes.	Hugo Herbelin	2017-11-23
\|/ /
* \|	[lib] Minor pending cleanup to consolidate helper function.	Emilio Jesus Gallego Arias	2017-11-19
* \|	Merge PR #6117: Fix printing anomaly in conv	Maxime Dénès	2017-11-13
\|\ \ \| \|/ \|/\|
* \|	Merge PR #6100: [api] Remove 8.7 ML-deprecated functions.	Maxime Dénès	2017-11-08
\|\ \
\| \| *	Fixing an (apparently misplaced) spc in anomaly reporting message.	Hugo Herbelin	2017-11-08
\| * \|	[api] Remove 8.7 ML-deprecated functions.	Emilio Jesus Gallego Arias	2017-11-07
\| \|/
* /	[feedback] Helper to print feedback messages in the console.	Emilio Jesus Gallego Arias	2017-11-06
\|/
*	Merge PR #6051: Fix FIXME: use OCaml 4.02 generative functors when available.	Maxime Dénès	2017-11-03
\|\
* \|	Naming the type of Dyn.Map for future reuse.	Hugo Herbelin	2017-11-02
\| *	Fix FIXME: use OCaml 4.02 generative functors when available.	Gaëtan Gilbert	2017-11-01
\|/
*	[stm] Remove state-handling from Futures.	Emilio Jesus Gallego Arias	2017-10-17
*	Merge PR #1089: [stm] [toplevel] Move delicate state initialization to the ST...	Maxime Dénès	2017-10-12
\|\
\| *	[stm] [toplevel] Move delicate state initialization to the STM (BZ#5556)	Emilio Jesus Gallego Arias	2017-10-11
* \|	Restoring test on ident validity while browsing directory structure.	Hugo Herbelin	2017-10-10
* \|	Adding headers to segmenttree.{ml,mli}.	Hugo Herbelin	2017-10-10
\|/
*	[stm] Switch to a functional API	Emilio Jesus Gallego Arias	2017-10-06