coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Removing the module Libtypes and unifying the Search[Pattern\|Rewrite]?	ppedrot	2013-03-19
*	place all pretty-printing files in new dir printing/	letouzey	2012-05-29
*	Vernacexpr is now a mli-only file, locality stuff now in locality.ml	letouzey	2012-05-29
*	migrate g_obligations.ml4 in parsing	letouzey	2012-04-26
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	A unified backtrack mechanism, with a basic "Show Script" as side-effect	letouzey	2012-03-23
*	Final part of moving Program code inside the main code. Adapted add_definitio...	msozeau	2012-03-14
*	Integrated obligations/eterm and program well-founded fixpoint building to to...	msozeau	2012-03-14
*	Pure interfaces shouldn't be mentionned in .mllib	letouzey	2011-12-21
*	Separated the toplevel interface into a purely declarative module with associ...	ppedrot	2011-11-25
*	Moving XML handling to lib directory	ppedrot	2011-11-24
*	Added XML manipulation tools to compilation chain	ppedrot	2011-11-06
*	Ide: stronger separation from coqtop	letouzey	2011-03-23
*	deporting Coq specific code from ide to toplevel.	vgross	2010-05-31
*	Migration of ProtectedToplevel and Line_oriented_parser into new contrib Inte...	letouzey	2009-12-08
*	Restructuration of command.ml + generic infrastructure for inductive schemes	herbelin	2009-11-08
*	Integrate a few improvements on typeclasses and Program from the equations br...	msozeau	2009-10-28
*	Changed the way to support compatibility with previous versions.	herbelin	2009-10-04
*	Improved parameterization of Coq:	herbelin	2009-08-02
*	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey	2009-03-20