coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Moved Compat to parsing. This permits to break the dependency of the	ppedrot	2012-10-04
*	No more states/initial.coq, instead coqtop now requires Prelude.vo	letouzey	2012-08-23
*	Adds Reference-Manual.out to .gitignore	letouzey	2012-05-30
*	place all files specific to camlp4 syntax extensions in grammar/	letouzey	2012-05-29
*	Configure asks for lablgtk >= 2.12 with gtksourceview2	pboutill	2012-04-27
*	Update of .gitignore (via a regexp g_*.ml)	letouzey	2012-03-22
*	Added a Btauto plugin, that solves boolean tautologies.	ppedrot	2012-01-13
*	Bug 2669 and more: make full-stdlib	pboutill	2011-12-27
*	lib/xml_lexer.ml in .gitignore (produced by a .mll)	letouzey	2011-11-29
*	gitignore update	pboutill	2011-09-01
*	Update .gitignore	glondu	2011-01-25
*	Add (quilt's) .pc to .gitignore	glondu	2010-10-31
*	Misc fixes related to new nsatz (and ocamlbuild)	letouzey	2010-06-03
*	Remove refutpat.ml4, ideal.ml4 is again a normal .ml, let* coded in a naive way	letouzey	2010-05-19
*	"make source-doc" builds documentation of mli in html and pdf at	pboutill	2010-04-29
*	Misc small fixes : warning, dep cycles, ocamlbuild...	letouzey	2010-04-26
*	Update .gitignore	glondu	2010-04-10
*	Add test-suite/lia.cache to .gitignore	glondu	2010-04-09
*	Several bug-fixes and improvements of coqdoc	herbelin	2010-03-29
*	Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)	letouzey	2010-03-04
*	ide/coq_lex.ml in .gitignore	letouzey	2010-02-25
*	Ignoring .spit/.spot files from OCamlSpotter	thutchin	2010-02-25
*	NMake: several things need not be macro-generated	letouzey	2010-01-25
*	Add *.annot to .gitignore	glondu	2010-01-14
*	Addition of mergesort + cleaning of the Sorting library	herbelin	2009-12-13
*	Update .gitignore	glondu	2009-12-02
*	Ajout des .annot dans le .gitignore.	aspiwack	2009-08-11
*	Improved parameterization of Coq:	herbelin	2009-08-02
*	Git ignore files	herbelin	2009-07-30
*	For git users, a global .gitignore file	letouzey	2009-07-30