coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[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
*	Rename update to set, fixes #6196	Paul Steckler	2017-12-05
*	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
* \| \| \| \|	Merge PR #1100: Avoid looping when searching for CoqProject.	Maxime Dénès	2017-10-03
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #1015: Adding a function to be typically used to pass values from an...	Maxime Dénès	2017-10-03
\|\ \ \ \ \ \ \| \|_\|_\|_\|_\|/ \|/\| \| \| \| \|
\| \| * \| \| \|	Avoid looping when searching for CoqProject.	Maxime Dénès	2017-09-27
\| \|/ / / / \|/\| \| \| \|
\| \| \| \| *	Improve support for "-w none" compatibility option.	Guillaume Melquiond	2017-09-21
\| \| * \| \|	coq_makefile: make sure compile flags for Coq and coq_makefile are in sync	Emilio Jesus Gallego Arias	2017-09-19
* \| \| \| \|	Reporting locations in error messages about notation formats.	Hugo Herbelin	2017-09-18
\| \|_\|_\|/ \|/\| \| \|
* \| \| \|	Using an algebraic type for distinguishing toplevel input from location in file.	Hugo Herbelin	2017-09-14
\| \| \| *	A possible fix for BZ#5715 (escape non-utf8 win32 file names).	Hugo Herbelin	2017-09-13
\| \| \| *	Complying more precisely to unicode standard.	Hugo Herbelin	2017-09-13
\| \| \| *	Adding a function to escape strings with non-utf8 characters.	Hugo Herbelin	2017-09-13
\| \|_\|/ \|/\| \|
\| * \|	Adding function to be typically used to pass values from an OCaml "when" clause.	Hugo Herbelin	2017-09-12
\|/ /
* \|	Merge PR #987: In Array.smartmap, read and write from same array	Maxime Dénès	2017-09-11
\|\ \ \| \|/ \|/\|
* \|	Making detyping potentially lazy.	Pierre-Marie Pédrot	2017-09-04
* \|	Merge PR #980: Adding combinators + a canonical renaming in List, Option, Name	Maxime Dénès	2017-08-31
\|\ \
* \ \	Merge PR #989: Prevent overallocation in Array.map_to_list and remove custom ...	Maxime Dénès	2017-08-31
\|\ \ \
* \ \ \	Merge PR #773: [flags] Remove XML output flag.	Maxime Dénès	2017-08-29
\|\ \ \ \
\| \| \| * \|	Canonically renaming fold_map into fold_left_map in library Option.	Hugo Herbelin	2017-08-29
\| \| \| * \|	Canonically renaming fold_map into fold_left_map in library Array.	Hugo Herbelin	2017-08-29