coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Don't disable deprecation warning for configure.ml	Gaëtan Gilbert	2017-05-28
*	configure: avoid deprecated warnings	Pierre Letouzey	2017-02-07
*	configure.ml: our configure script is now written in ML :-)	Pierre Letouzey	2013-12-20
*	Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4e	Pierre Boutillier	2013-12-17
*	configure: typo in my last commit	Pierre Letouzey	2013-11-23
*	configure: improve last fix	Pierre Letouzey	2013-11-22
*	configure: CAML_LD_LIBRARY_PATH is enriched, not overwritten	Pierre Letouzey	2013-11-21
*	configure: fix some issues with last commit	Pierre Letouzey	2013-11-21
*	Fix various \r issues with windows	Jason Gross	2013-11-21
*	Asks camlp5 binary in path its location	pboutill	2013-11-03
*	configure stript allows make v4.00	pboutill	2013-11-03
*	* configure: Remove trailing space.	regisgia	2013-09-02
*	Misc changes around coqtop.ml :	letouzey	2013-08-22
*	Change in vo format : digest aren't Marshalled anymore	letouzey	2013-08-22
*	New -no-native-compiler flag for configure, globally disabling the native	mdenes	2013-02-24
*	Revert "remove -rectypes except for term.ml"	mdenes	2013-01-22
*	Add an option -nodoc to configure, same (but shorter) than -with-doc no	letouzey	2012-11-12
*	Cygwin gcc do not accept -mno-cygwin anymore	pboutill	2012-10-17
*	Taking into account that ocamlfind might find a package w/o the files	herbelin	2012-10-17
*	Turn mltop.ml4 into a regular ocaml file	letouzey	2012-10-06
*	remove -rectypes except for term.ml	letouzey	2012-10-06
*	Repair the configure after Hugo's last "repair" ;-)	letouzey	2012-10-05
*	Repaired configure damaged in r15748 for those bash users which have	herbelin	2012-10-04
*	Suggest to use clean rather than archclean before recompiling.	herbelin	2012-10-04
*	MacOS integration uses lablgtkosx >= 1.1	pboutill	2012-09-17
*	A few fixes in configure file:	herbelin	2012-09-05
*	No need anymore to refer to COQLIB in ocamldebug-coq	letouzey	2012-08-23
*	Configure + Makefile : simplification when -local	letouzey	2012-08-23
*	configure: get rid of the -src option and of ${COQSRC}	letouzey	2012-08-23
*	configure: no more need for ocamlmktop	letouzey	2012-08-23
*	Simpler configure: gcc via ocamlc, no ranlib (done by ocamlmklib)	letouzey	2012-08-23
*	Port from 8.4 branch some build fixes concerning win32 :	letouzey	2012-08-23
*	Bug 2861 : ocamlopt but no lablgtk2.cmxa problem	pboutill	2012-08-10
*	configure: two minor fixes for win32	letouzey	2012-08-07
*	Coq should compile with Ocaml4 and/or lablgtk installed with ocamlfind	pboutill	2012-07-12
*	configure: camlp4 is now tried when camlp5 isn't found	letouzey	2012-05-23
*	configure: add support of MinGW Win32 environment (fix #2526)	letouzey	2012-05-23
*	Coqide: make some paths win32-compliant	letouzey	2012-05-16
*	Makefile: Really avoid locales in $(DATE)	letouzey	2012-05-15
*	Tentative and very experminental support for typerex. Enabled with	aspiwack	2012-05-11
*	Configure asks for lablgtk >= 2.12 with gtksourceview2	pboutill	2012-04-27
*	Coqide MacOS integration refresh	pboutill	2012-04-27
*	Browser documentation & CharSet under Windows	pboutill	2012-04-13
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	- changing minimal version for OCaml: Coq uses Filename.dirsep that is availa...	notin	2012-02-20
*	Bug 2676: ./configure --prefix shoudn't ask for a config directory.	pboutill	2012-01-16
*	Configure: the backslashes in win32 paths should be escaped	letouzey	2011-12-23
*	./configure & freedesktop	pboutill	2011-12-18
*	coqide default pref files are by default in /etc/xdg/coq/	pboutill	2011-11-21
*	Patch to support (a priori) all versions of make 3.xx >= 3.81	herbelin	2011-10-12