coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-06
\|\
\| *	Adding a Makefile target for the MSets and MMaps directories.	Pierre-Marie Pédrot	2015-09-06
* \|	Fixing generation of dev/printers.mllib.d after ocamllibdep is used (48d611ff...	Hugo Herbelin	2015-08-29
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-27
\|\\|
\| *	Silence `which`	Jason Gross	2015-07-23
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-18
\|\\|
\| *	Updating checksum in checker (9c732a5cc continued).	Hugo Herbelin	2015-07-12
* \|	Merge branch 'v8.5' into trunk	Maxime Dénès	2015-07-02
\|\\|
\| *	Revert "Add target to install dev files."	Maxime Dénès	2015-07-02
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-06-28
\|\\|
\| *	Add target to install dev files.	Matthieu Sozeau	2015-06-26
\| *	Adding a more efficient representation of OCaml objects in votour.	Pierre-Marie Pédrot	2015-06-25
\| *	More silent Makefile when looking for codesign.	Maxime Dénès	2015-06-24
* \|	All invocations to ocaml compilers go through ocamlfind	Pierre Boutillier	2015-06-22
* \|	Merge v8.5 into trunk	Hugo Herbelin	2015-05-15
\|\\|
\| *	Disable precompilation for native_compute by default.	Guillaume Melquiond	2015-05-14
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-04-15
\|\\|
\| *	Fix compilation broken by Matthieu's last commit.	Pierre Letouzey	2015-04-10
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-03-23
\|\\|
\| *	Fix Bug 3548 - Makefile should fallback gracefully in the absence of codesign	Pierre Boutillier	2015-03-14
* \|	Adding a new folder corresponding to the low-level part of the pretyper	Pierre-Marie Pédrot	2015-02-27
* \|	Using home-made ocamllibdep rather than coqdep_boot.	Hugo Herbelin	2015-02-16
* \|	Restricting the need for coqdep_boot to mllib.d files (since ocaml	Hugo Herbelin	2015-02-16
\|/
*	Fixup version & copyright for MacOS bundle	Pierre Boutillier	2015-02-13
*	Revert "Using same code for browsing physical directories in coqtop and coqdep."	Hugo Herbelin	2015-02-12
*	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-12
*	Always build (even when -coqide no) and install idetoploop	Pierre Boutillier	2015-01-15
*	Makefile: install ide/*lang	Enrico Tassi	2015-01-14
*	typo in coqide compilation rules after -thread requirement	Pierre Boutillier	2015-01-12
*	Fixing Makefile so that it puts the -thread flag on the right place.	Pierre-Marie Pédrot	2014-12-17
*	Revert and correctly fix "#4843 part 2 : The .cmxs files for plugins must hav...	Pierre Boutillier	2014-12-17
*	Proper thread-safe implementation for Exninfo.	Pierre-Marie Pédrot	2014-12-16
*	#4843 part 2 : The .cmxs files for plug-ins must have execute permission	Pierre Boutillier	2014-12-12
*	win32: bring back the coq icon in the coqide binary	Enrico Tassi	2014-09-17
*	IDECDEPSFLAGS is for byte, not opt	Enrico Tassi	2014-09-09
*	Removing the XML plugin.	Pierre-Marie Pédrot	2014-09-08
*	Make CoqIDE compile with windows (Closes: 3573)	Enrico Tassi	2014-09-04
*	coqworkmgr	Enrico Tassi	2014-09-02
*	Distributed binaries under MacOS are signed.	Pierre Boutillier	2014-08-26
*	Fixing ml-dot & mli-dot targets.	Pierre-Marie Pédrot	2014-08-23
*	fixup fakeide test-suite	Pierre Boutillier	2014-07-24
*	A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle	Pierre Boutillier	2014-07-22
*	When I make MacOS binary, I would like to have a coqtop able to speak to coqi...	Pierre Boutillier	2014-07-22
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	cut toploop(s) out of coqtop: now they are loaded dynamically	Enrico Tassi	2014-06-25
*	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau	2014-05-06
*	Fixing ml-doc.	Pierre-Marie Pédrot	2014-05-01
*	Adding a stm/ folder, as asked during last workgroup. It was essentially moving	Pierre-Marie Pédrot	2014-04-25
*	CoqIDE: options for syntax highlighting	Enrico Tassi	2014-04-10
*	Change handling of loadpath and mlpath.	Guillaume Melquiond	2014-04-06