coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \|	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
*	Goodbye typerex, Hello merlin	Pierre	2014-01-09
*	md5 for MacOS	Pierre	2014-01-09
*	configure.ml: our configure script is now written in ML :-)	Pierre Letouzey	2013-12-20