coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	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