coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Final part of moving Program code inside the main code. Adapted add_definitio...	msozeau	2012-03-14
*	Makefile.build: add targets install-devfiles and install-ide-devfiles	pboutill	2012-01-31
*	Bug 2679: Do not try to install cmxs with -byte-only	pboutill	2012-01-16
*	Added a Btauto plugin, that solves boolean tautologies.	ppedrot	2012-01-13
*	Bug 2377 part 2: old revision file is erased by install	pboutill	2011-12-19
*	CoqIde files position is freedesktop compliant.	pboutill	2011-12-18
*	Makefile: force the installation of all .cmi (and remove some obsolete .mli)	letouzey	2011-12-08
*	Moving XML handling to lib directory	ppedrot	2011-11-24
*	coqide default pref files are by default in /etc/xdg/coq/	pboutill	2011-11-21
*	coqide-gtk2rc not dotted	pboutill	2011-11-20
*	Completed list of theories targets	herbelin	2011-11-16
*	Added XML dependencies into Makefile	ppedrot	2011-11-06
*	Makefile install rule fix	pboutill	2011-10-26
*	Not hard-wiring camlp5 path in target source-doc!	herbelin	2011-09-25
*	avoid dependency nightmare by creating coqdep_{lexer,common}.mli	letouzey	2011-09-18
*	Various fixes in the Makefiles	letouzey	2011-09-17
*	make world now builds fake_ide (to please coq-bench)	letouzey	2011-09-06
*	fake_ide: a short program to mimic an ide talking to coqtop -ideslave	letouzey	2011-09-05
*	same_file in Minilib	pboutill	2011-09-01
*	Creation of ide/project_file.ml4	pboutill	2011-09-01
*	Customized accelerator maps for macos are globally installed (end to fix 2462)	pboutill	2011-06-17
*	git rebase -i mess consequence	pboutill	2011-06-15
*	Revert "Coqide now need lablgtk2.14.0" + Ide build system debugging	pboutill	2011-06-14
*	Coqide Menubar integration in MacOS	pboutill	2011-06-10
*	no more errors at _stubs.c.d generation	pboutill	2011-06-10
*	weak dependency of coqtop for coqide and coqc (bug 2390)	pboutill	2011-04-08
*	Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacks	letouzey	2011-04-03
*	Ide: more reorganisation and cleanup	letouzey	2011-03-25
*	Makefile.build: states/initial.coq was wrongly done with -dont-load-proofs	letouzey	2011-03-21
*	Makefile.build: compile the stdlib with -dont-load-proofs by default	letouzey	2011-03-18
*	Revert "syntax for exponents"	glondu	2011-02-25
*	syntax for exponents	pottier	2011-02-22
*	Remove the "Boxed" syntaxes and the const_entry_boxed field	letouzey	2011-01-28
*	Add a test for sorting all universes of stdlib	glondu	2011-01-25
*	MacOS integration	pboutill	2011-01-07
*	Coqide is not built with coqmktop any more	pboutill	2011-01-07
*	Don't install both coqide.byte and coqide.opt	pboutill	2011-01-07
*	Extraction: allow to use Extraction Inline / NoInline even from under a section.	letouzey	2010-10-06
*	Fix installation of emacs files	glondu	2010-07-24
*	Finish adding out-of-the-box support for camlp4	letouzey	2010-07-09
*	Remove dependency to Unix from module Profile	glondu	2010-07-02
*	Backporting modifications to nsatz (doc + fix of bug #2328) from trunk to v8.3.	herbelin	2010-06-26
*	Fixing dependencies for coqide	vgross	2010-06-22
*	Do not link system library into installed .cma	glondu	2010-06-02
*	Add (almost) compatibility with camlp4, without breaking support for camlp5	letouzey	2010-05-19
*	static (and shared) camlp4use instead of per-file declaration	letouzey	2010-05-19
*	ocamldoc related fixes	pboutill	2010-05-03
*	Re-enable validation in "make check", run it in parallel with test-suite	glondu	2010-05-03
*	"make source-doc" builds documentation of mli in html and pdf at	pboutill	2010-04-29
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29