coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Remove non-existent dependency	mrmr1993	2018-03-05
*	[lib] Split auxiliary libraries into Coq-specific and general.	Emilio Jesus Gallego Arias	2017-12-23
*	[lib] Rename Profile to CProfile	Emilio Jesus Gallego Arias	2017-12-09
*	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
*	A new infrastructure for warnings.	Maxime Dénès	2016-06-29
*	Makefile: restore the use of coqdep_boot for creating .v.d files	Pierre Letouzey	2016-06-01
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-03-05
\|\
\| *	Rename Ephemeron -> CEphemeron.	Maxime Dénès	2016-03-04
* \|	Factorizing unsafe code by relying on the new Dyn module.	Pierre-Marie Pédrot	2015-12-05
\| *	Revert "Using same code for browsing physical directories in coqtop and coqdep."	Hugo Herbelin	2015-02-12
\| *	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-12
\|/
*	RichPp: New module.	Regis-Gianas	2014-11-04
*	Moving Dnet-related code to tactics/.	Pierre-Marie Pédrot	2014-05-08
*	Adding a stm/ folder, as asked during last workgroup. It was essentially moving	Pierre-Marie Pédrot	2014-04-25
*	STM: move out a couple of submodules	Enrico Tassi	2014-03-13
*	Work around for bug in threads + blocking io streamlined	Enrico Tassi	2014-01-30
*	Spawn: managed processes	Enrico Tassi	2014-01-26
*	Ephemeron: marshaling friendly keys	gareuselesinge	2013-10-18
*	Moving Searchstack to CStack, and normalizing names a bit.	ppedrot	2013-09-06
*	Universe counters on slaves are in sync with master	gareuselesinge	2013-08-20
*	Vcs data structure (Git inspired builder for Dag)	gareuselesinge	2013-08-08
*	Dag data structure	gareuselesinge	2013-08-08
*	Searchable stack data structure	gareuselesinge	2013-08-08
*	Future library to represent pure computations	gareuselesinge	2013-08-08
*	Splitted up Genarg in four different levels:	ppedrot	2013-06-21
*	Gmap is now useless, hail to Map!	ppedrot	2013-05-14
*	Removing Fmap from libraries, it is not used anymore.	ppedrot	2013-05-14
*	Removing Fset, since it is not used anymore.	ppedrot	2013-05-12
*	Documenting the Tries module, uniformizing the names according to	ppedrot	2013-05-09
*	Getting rid of module Gmapl.	ppedrot	2013-05-09
*	New module Xml_printer (dual to Xml_parser)	gareuselesinge	2013-05-06
*	Coqide: Globalization feedback (proof of concept)	gareuselesinge	2013-04-25
*	Updated Exninfo to the new Store type.	ppedrot	2013-03-12
*	Moving hcons_string to String namespace.	ppedrot	2012-12-14
*	Moved Compat to parsing. This permits to break the dependency of the	ppedrot	2012-10-04
*	Cleaning, renaming obscure functions and documenting in Hashcons.	ppedrot	2012-09-26
*	More cleanup of Util: utf8 aspects moved to a new file unicode.ml	letouzey	2012-09-18
*	Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5	ppedrot	2012-09-10
*	Put Option in Clib	pboutill	2012-07-20
*	Added an indirection with respect to Loc in Compat. As many [open Compat]	ppedrot	2012-06-22
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Noise for nothing	pboutill	2012-03-02
*	Moving XML handling to lib directory	ppedrot	2011-11-24
*	Term: Refactoring of hashconsing	puech	2011-07-29
*	A new mechanism to handle errors.	aspiwack	2011-05-13
*	An generic imperative union-find, used for deps of evars in Class_tactics	letouzey	2011-02-11
*	Remove Safe_marshal	glondu	2011-01-06
*	Some dead code removal, thanks to Oug analyzer	letouzey	2010-09-24
*	Coqdep_boot : misc improvements	letouzey	2010-09-17