coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	- configure: affiche si le natdynlink est positionne	barras	2009-03-17
*	Cleanup: remove unused config/giveostype.ml	letouzey	2009-03-11
*	Cleanup: remove old correctness files, unused for a long time	letouzey	2009-03-11
*	Gestion des espaces dans les noms + guess_coqlib sous Windows	notin	2009-02-11
*	Fix d'un petit problème de chemin sous Windows	notin	2009-02-11
*	Fix de divers petits problèmes d'installation	notin	2009-02-11
*	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin	2009-02-11
*	Add -coqtoolsbyteflags and -custom to ./configure...	glondu	2009-02-11
*	configure: more adequate message explaining what -opt is doing	letouzey	2009-01-22
*	Fix d'un petit problème avec ocamlmklib en présence de l'option -camldir	notin	2009-01-22
*	Updated dates	herbelin	2009-01-13
*	Workaround to compile the coq archive with dynamic loading on Mac OS 10.5	herbelin	2009-01-13
*	- Deactivation of dynamic loading on Mac OS 10.5 (see bug #2024).	herbelin	2009-01-11
*	Another problem with blanks in filenames	herbelin	2009-01-10
*	- Fixed the recompilation of config/revision.ml once every two conmpilations.	herbelin	2009-01-10
*	Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...	notin	2009-01-06
*	Report de la révision 11754 (compilation sous windows)	notin	2009-01-06
*	compatibility with lablgtk2 version 2.12	bertot	2008-12-29
*	- Suppression date dans configure du trunk	herbelin	2008-12-26
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	Take advantage of natdynlink when available: almost all contribs become loada...	letouzey	2008-12-16
*	- configure: do not strip coqtop on Darwin so as to support dynamic loading	herbelin	2008-12-12
*	Amélioration du README.doc et de l'installation de la doc	notin	2008-11-14
*	Native "Declare ML Module" when possible	glondu	2008-10-28
*	More OCaml-3.11-friendly configure script	glondu	2008-10-21