coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
\| \| *	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
*	[stm] [flags] Move document mode flags to the STM.	Emilio Jesus Gallego Arias	2017-10-06
*	Merge PR #1119: Fixing bug BZ#5769 (generating a name "_" out of a type "_som...	Maxime Dénès	2017-10-06
\|\
* \	Merge PR #1125: [pp] Minor optimization in `Pp.t` construction and gluing.	Maxime Dénès	2017-10-06
\|\ \
* \ \	Merge PR #1069: Improve support for -w options	Maxime Dénès	2017-10-05
\|\ \ \
* \ \ \	Merge PR #1041: Miscellaneous fixes about UTF-8 (including a fix to BZ#5715 t...	Maxime Dénès	2017-10-05
\|\ \ \ \
* \ \ \ \	Merge PR #1059: coq_makefile: make sure compile flags for Coq and coq_makefil...	Maxime Dénès	2017-10-05
\|\ \ \ \ \
\| \| \| \| * \|	[pp] Minor optimization in `Pp.t` construction and gluing.	Emilio Jesus Gallego Arias	2017-10-05
\| \|_\|_\|/ / \|/\| \| \| \|
\| \| \| \| *	Fixing BZ#5769 (variable of type "_something" was named after invalid "_").	Hugo Herbelin	2017-10-05
\| \| \| \| *	Distinguishing pseudo-letters out of the set of unicode letters.	Hugo Herbelin	2017-10-05
\| \| \| \| *	Fixing typos in comments of unicode.ml.	Hugo Herbelin	2017-10-05