coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5' into trunk	Maxime Dénès	2015-09-17
\|\
\| *	Disable native_compute on Windows by default.	Maxime Dénès	2015-09-16
\| *	In configure: -no-native-compiler -> -native-compiler no	Maxime Dénès	2015-09-16
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-22
\|\\|
\| *	Remove duplicate code.	Guillaume Melquiond	2015-08-17
\| *	Remove generatable documentation files from repository. (Fix bug #4315)	Guillaume Melquiond	2015-08-17
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-18
\|\\|
\| *	Use the same optimization level for the VM, whatever the debug level.	Guillaume Melquiond	2015-07-08
* \|	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-05-05
\|\\|
\| *	Compile the VM code with some optimizations (+130% speedup).	Guillaume Melquiond	2015-04-27
\| *	Change magic numbers.	Matthieu Sozeau	2015-04-20
\| *	8.5beta2 release.	Matthieu Sozeau	2015-04-17
\| *	configure: fix paths on cygwin	Enrico Tassi	2015-04-16
* \|	Merge branch 'v8.5' into trunk	Enrico Tassi	2015-03-30
\|\\|
\| *	add coqdep in distributed_exec, else make does not work.	Benjamin Gregoire	2015-03-26
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-03-04
\|\\|
\| *	Improving display of camlp4/camlp5 versions, library and binary locations.	Hugo Herbelin	2015-03-03
\| *	Reinstalling search of camlpX in camldir, when given, for	Hugo Herbelin	2015-03-03
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-02-26
\|\\|
\| *	Trying to fix code locating camlp4/camlp5.	Maxime Dénès	2015-02-26
\| *	Not building the doc by default.	Maxime Dénès	2015-02-25
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-02-15
\|\\|
\| *	Fixup version & copyright for MacOS bundle	Pierre Boutillier	2015-02-13
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-02-13
\|\\|
\| *	Win: use .exe extension for the ocaml compiler (Close 3572)	Enrico Tassi	2015-02-11
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-02-10
\|\\|
\| *	Detecting automatically whether .opt versions of ocaml executables exist;	Hugo Herbelin	2015-02-04
* \|	Revert "Bump version and magic numbers in configure."	Maxime Dénès	2015-01-15
\|/
*	Bump version and magic numbers in configure.	Maxime Dénès	2015-01-13
*	Fix #3163 and #3843 part 1 : Cygwin DLLs have extension ".so", not ".dll"	Pierre Boutillier	2014-12-12
*	Allow camlp5 to have version numbers like "6.09-exp"	jbapple	2014-10-28
*	configure.ml: opam camlp5 + system ocaml works	Pierre Boutillier	2014-09-18
*	win32: bring back the coq icon in the coqide binary	Enrico Tassi	2014-09-17
*	win32: use subsystem windows on windows (and not console)	Enrico Tassi	2014-09-17
*	Make CoqIDE compile with windows (Closes: 3573)	Enrico Tassi	2014-09-04
*	Fixup introduction of coqworkmgr	Pierre Boutillier	2014-09-02
*	Configure.ml creates metadata to annotate MacOS binaries	Pierre Boutillier	2014-08-26
*	md5 for MacOS	Pierre	2014-05-06
*	Remove the -fno-defer-pop cflag	Jason Gross	2014-03-18
*	Set officially the minimal OCaml requirement to 3.12.1	Pierre Letouzey	2014-03-02
*	Fix compilation of coq and plugins using coq_makefile under cygwin	Enrico Tassi	2014-02-28
*	Fix coqide build under MacOS	Pierre Boutillier	2014-02-24
*	Coqmktop without Sys.command, changes in ./configure -*byteflags options	Pierre Letouzey	2014-01-30
*	Relaunch all Unix.waitpid when they ended with EINTR	Pierre Letouzey	2014-01-30
*	configure.ml fixed wrt Win32 + byte-only + coqide	Enrico Tassi	2014-01-26
*	The configure script now outputs the parameters it was fed with in	Pierre-Marie Pédrot	2014-01-24
*	Makefiles use $(foo), not $foo, for variables	Jason Gross	2014-01-18