coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Support for GNU Make 3.82	glondu	2010-10-16
*	TeX input method is now supported upstream	vgross	2010-10-07
*	Added doc/refman/coqide.eps and coqide-queries.eps to remove the need for png...	emakarov	2010-09-06
*	Turned off Mac dynlink hack for 10.6.3+ on x86_64	thutchin	2010-07-05
*	Add (almost) compatibility with camlp4, without breaking support for camlp5	letouzey	2010-05-19
*	Discontinue support for ocaml 3.09.*	letouzey	2010-05-19
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Look for csdp in $PATH at runtime, remove -csdpdir configure option	glondu	2010-04-11
*	Fix configure script: natdynlink works without a hack on 10.6.3.	msozeau	2010-04-05
*	Application des patches envoyés par F. Besson pour micromega	notin	2010-03-08
*	Enabled natdynlink hack on Mac OS 10.6	thutchin	2010-02-25
*	Polishing the setup of CoqIDE Input Method	vgross	2010-02-18
*	Remove bashisms	glondu	2010-01-28
*	Add -makecmd configure option	glondu	2010-01-26
*	Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...	letouzey	2009-12-09
*	Changement de la version minimale requise de OCaml (3.07 => 3.09.3).	notin	2009-11-05
*	Correction du bug #2142	notin	2009-11-05
*	Applied patches from BSD/pkgsrc maintainer, so that Coq compiles out-of-the-box.	gmelquio	2009-09-28
*	Tried to make F1 documentation tool working in CoqIDE.	herbelin	2009-08-14
*	Report de la révision #12104 (Maj lien site web de Coq)	notin	2009-04-24
*	Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branch	herbelin	2009-04-08
*	Ocamlbuild: option for (not) building coqide, better log messages	letouzey	2009-04-03
*	Ocamlbuild: improvements suggested by N. Pouillard	letouzey	2009-04-03
*	Backport from v8.2 branch of 11986 (interpretation of quantified	herbelin	2009-03-22