coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Spawn: managed processes	Enrico Tassi	2014-01-26
*	refman: fist stab at Asynchronous Proofs	Enrico Tassi	2014-01-05
*	A few fixes to the build system (mostly for ocamlbuild)	Pierre Letouzey	2013-12-16
*	Documentation of the Derive plugin.	Arnaud Spiwack	2013-12-04
*	Derive plugin.	Arnaud Spiwack	2013-12-04
*	First stab at documenting Canonical Structures	Enrico Tassi	2013-11-29
*	Moving Searchstack to CStack, and normalizing names a bit.	ppedrot	2013-09-06
*	Searchable stack data structure	gareuselesinge	2013-08-08
*	New module Xml_printer (dual to Xml_parser)	gareuselesinge	2013-05-06
*	coqc and coqmktop migrated in tools/, get rid of scripts/ subdir	letouzey	2013-04-18
*	Coqmktop: dynlink is now mandatory due to Maxime's native-compiler	letouzey	2013-04-17
*	New implementation of the conversion test, using normalization by evaluation to	mdenes	2013-01-22
*	Tiny fix of r16049	pboutill	2012-12-10
*	Allow running coq-tex in win32 (fix #2921)	letouzey	2012-10-29
*	Makefiles: Only -I required dirs (config, lib, ide) when compiling coqide	pboutill	2012-10-15
*	Moved Compat to parsing. This permits to break the dependency of the	ppedrot	2012-10-04
*	Port rewrites of tactic documentation from branch 8.4.	gmelquio	2012-09-15
*	Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS	pboutill	2012-09-12
*	No more states/initial.coq, instead coqtop now requires Prelude.vo	letouzey	2012-08-23
*	No more coqtop.opt, produce directly a coqtop binary	letouzey	2012-08-23
*	configure: get rid of the -src option and of ${COQSRC}	letouzey	2012-08-23
*	Port from 8.4 branch some build fixes concerning win32 :	letouzey	2012-08-23
*	Do not forget to build the unicode libraries, necessary to compile and launch...	msozeau	2012-08-22
*	Fixup for macOS 10.8 & Ocaml 4.0	pboutill	2012-08-08
*	Legacy Ring and Legacy Field migrated to contribs	letouzey	2012-07-05
*	Added an indirection with respect to Loc in Compat. As many [open Compat]	ppedrot	2012-06-22
*	Install compat5 module with grammar.cma	pboutill	2012-06-20
*	place all pretty-printing files in new dir printing/	letouzey	2012-05-29
*	place all files specific to camlp4 syntax extensions in grammar/	letouzey	2012-05-29
*	Vernacexpr is now a mli-only file, locality stuff now in locality.ml	letouzey	2012-05-29
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
*	Makefile: Really avoid locales in $(DATE)	letouzey	2012-05-15
*	Addedum to documentation of bullets: I now use the dedicated coq_example	aspiwack	2012-05-10
*	Remove the Dp plugin.	gmelquio	2012-04-17
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Final part of moving Program code inside the main code. Adapted add_definitio...	msozeau	2012-03-14
*	Noise for nothing	pboutill	2012-03-02
*	Added a Btauto plugin, that solves boolean tautologies.	ppedrot	2012-01-13
*	fix Makefile.common handling of -byte-only	gareuselesinge	2011-12-06
*	Moving XML handling to lib directory	ppedrot	2011-11-24
*	Added XML dependencies into Makefile	ppedrot	2011-11-06
*	Added XML manipulation tools to compilation chain	ppedrot	2011-11-06
*	Various fixes in the Makefiles	letouzey	2011-09-17
*	make world now builds fake_ide (to please coq-bench)	letouzey	2011-09-06
*	A new mechanism to handle errors.	aspiwack	2011-05-13
*	remove useless dependancy for csdpcert	fbesson	2011-05-09
*	Ide: restaure compilation of ide/macjokes.c removed by mistake	letouzey	2011-03-28
*	Ide: more reorganisation and cleanup	letouzey	2011-03-25
*	Ide: stronger separation from coqtop	letouzey	2011-03-23
*	Revert "syntax for exponents"	glondu	2011-02-25