coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	* 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
*	In Coq_config: get rid of coqsrc and make coqlib optional	glondu	2011-09-27
*	default install location under cygwin is the unix default	pboutill	2011-07-07
*	Revert "Coqide now need lablgtk2.14.0" + Ide build system debugging	pboutill	2011-06-14
*	Coqide now need lablgtk2.14.0	pboutill	2011-06-11
*	Coqide Menubar integration in MacOS	pboutill	2011-06-10
*	coqtop -config returns coq returns coq environments at exection time	pboutill	2011-04-28
*	Coqide: a special kill function for win32	letouzey	2011-04-21
*	Macos integration step2 : shutdown	pboutill	2011-04-08
*	Fix compilation with camlp5 (Closes: #2487)	glondu	2011-01-25
*	MacOS integration	pboutill	2011-01-07
*	Remove fake alpha-specific case in configure	glondu	2011-01-06