coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Run parallelized test-suite in "check" target of main Makefile	glondu	2010-04-10
*	Makefile.build: (slightly) more robust sed invocation for parsing camlp4deps/...	letouzey	2010-03-18
*	Makefile: some more cleanup	letouzey	2010-03-05
*	Makefile: a nicer hack concerning ocamlopt with no .mli: -intf-suffix .cmi (t...	letouzey	2010-03-04
*	Makefile: cleanup of comments + a few words about recent changes in dev/doc/b...	letouzey	2010-03-04
*	Makefile: no more separate stages	letouzey	2010-03-04
*	Makefile: try to avoid rare make failures related with make -j + ocamlopt + .cmi	letouzey	2010-03-04
*	Makefile: cleanup of variables containing lists of files, such as MLFILES	letouzey	2010-03-04
*	Makefile: factorization of default rules for .cmi/.cmo/.cmx	letouzey	2010-03-04
*	Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)	letouzey	2010-03-04
*	Makefile: hide the trick ...\|\|(RV=$$?;rm $@; exit $${RV}) under a macro $(TOT...	letouzey	2010-03-04
*	In the git-specific part of Makefile.build, call to hostname gave option	thutchin	2010-02-25
*	Polishing the setup of CoqIDE Input Method	vgross	2010-02-18
*	Makefile.build: avoid warning about undefined variable during make install	letouzey	2010-02-16
*	Makefile: also install the .cmi of plugins	letouzey	2010-02-16
*	make init + NMake.v/NMake_gen.v	notin	2010-01-26
*	NMake: several things need not be macro-generated	letouzey	2010-01-25
*	Disable validate	glondu	2010-01-14
*	use TIMECMD instead of TIME in makefile (unix cmd time reads its format in TIME)	letouzey	2010-01-05
*	Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...	letouzey	2009-12-09
*	Remove interface plugin	glondu	2009-12-02
*	Fixed installation of Coqide interface/library files (bug #2147).	gmelquio	2009-10-06
*	Added profile.cmo in grammar.cma so that any functions in one of the	herbelin	2009-08-14
*	csdpcert + unix	fbesson	2009-08-01
*	Makefile made compatible with Solaris 10 (bug #2078, continued - see	herbelin	2009-06-06