coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branch	herbelin	2009-04-08
*	Complementary fix to have ocamlopt_shared_os5fix.sh working correctly	herbelin	2009-03-31
*	Fix the fix script for ocamlopt -shared in MacOS 10.5 (remarks by Hugo)	letouzey	2009-03-30
*	ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc)	letouzey	2009-03-29
*	bin/coq-{parser,interface}: use this coqtop, not the first in $PATH	lmamane	2009-03-26
*	make coqdep_boot in stage1, not stage2	lmamane	2009-03-25
*	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey	2009-03-20