coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	summary for ML modules made correct	gareuselesinge	2013-08-30
*	Small typo in Print Debug GC	ppedrot	2013-08-02
*	Added a Print Debug GC command that displays the current state of	ppedrot	2013-08-01
*	Uniformizing the [if_warn] flag used for warning printing and put	ppedrot	2013-05-08
*	States: frozen states can hold closures	gareuselesinge	2013-05-06
*	Moved the Loadpath part of Library to its own file, and documented	ppedrot	2013-03-26
*	Restrict (try...with...) to avoid catching critical exn (part 13)	letouzey	2013-03-13
*	More monomorphization.	ppedrot	2013-03-05
*	Dir_path --> DirPath	letouzey	2013-02-19
*	Updating the backtrace handling mechanism to accomodate the new	ppedrot	2013-02-18
*	use List.rev_map whenever possible	letouzey	2013-02-18
*	Actually adding backtrace handling.	ppedrot	2013-01-28
*	Added backtrace information to anomalies	ppedrot	2013-01-28
*	New implementation of the conversion test, using normalization by evaluation to	mdenes	2013-01-22
*	Modulification of dir_path	ppedrot	2012-12-14
*	Modulification of identifier	ppedrot	2012-12-14
*	Moved Stringset and Stringmap to String namespace.	ppedrot	2012-12-14
*	Low-level hack to get some more informative message from dynamic loading errors.	herbelin	2012-12-04
*	Monomorphization (toplevel)	ppedrot	2012-11-26
*	When loading a plugin, prefer .cma to .cmo	gareuselesinge	2012-10-14
*	Turn mltop.ml4 into a regular ocaml file	letouzey	2012-10-06
*	compilation native	filliatr	1999-12-03
*	module Metasyntax	filliatr	1999-12-01
*	portage Vernacentries (debut)	filliatr	1999-12-01
*	Vernacinterp et Vernacentries (partiellement)	filliatr	1999-11-24
*	retablissement du toplevel	filliatr	1999-09-28