coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Tentative and very experminental support for typerex. Enabled with	aspiwack	2012-05-11
*	Coqide highligthing is back (done by gtksourceview).	pboutill	2012-05-02
*	Fix make install after emacs mode troll (r15251)	pboutill	2012-04-28
*	Configure asks for lablgtk >= 2.12 with gtksourceview2	pboutill	2012-04-27
*	Removed the quasi-useless gtk2rc file and the documentation that went with it...	ppedrot	2012-04-27
*	Remove the Dp plugin.	gmelquio	2012-04-17
*	make otags only relies on otags	pboutill	2012-04-12
*	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
*	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