coq - The formal proof system

Age	Commit message (Expand)	Author
2014-04-25	Adding a stm/ folder, as asked during last workgroup. It was essentially moving	Pierre-Marie Pédrot
2014-04-25	Removing Autoinstance once and for all.	Pierre-Marie Pédrot
2014-02-26	New compilation mode -vi2vo	Enrico Tassi
2014-01-05	coqtop: -check-vi-tasks and -schedule-vi-checking	Enrico Tassi
2013-12-16	A few fixes to the build system (mostly for ocamlbuild)	Pierre Letouzey
2013-08-08	Vernac classification streamlined (handles VERNAC EXTEND)	gareuselesinge
2013-08-08	State Transaction Machine	gareuselesinge
2013-07-02	Removing the use of leveled tactics wit_tacticn. It is now handled	ppedrot
2013-03-19	Removing the module Libtypes and unifying the Search[Pattern\|Rewrite]?	ppedrot
2012-05-29	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-04-26	migrate g_obligations.ml4 in parsing	letouzey
2012-04-12	lib directory is cut in 2 cma.	pboutill
2012-03-23	A unified backtrack mechanism, with a basic "Show Script" as side-effect	letouzey
2012-03-14	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
2011-12-21	Pure interfaces shouldn't be mentionned in .mllib	letouzey
2011-11-25	Separated the toplevel interface into a purely declarative module with associ...	ppedrot
2011-11-24	Moving XML handling to lib directory	ppedrot
2011-11-06	Added XML manipulation tools to compilation chain	ppedrot
2011-03-23	Ide: stronger separation from coqtop	letouzey
2010-05-31	deporting Coq specific code from ide to toplevel.	vgross
2009-12-08	Migration of ProtectedToplevel and Line_oriented_parser into new contrib Inte...	letouzey
2009-11-08	Restructuration of command.ml + generic infrastructure for inductive schemes	herbelin
2009-10-28	Integrate a few improvements on typeclasses and Program from the equations br...	msozeau
2009-10-04	Changed the way to support compatibility with previous versions.	herbelin
2009-08-02	Improved parameterization of Coq:	herbelin
2009-03-20	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey