coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...	letouzey	2009-12-09
*	Remove interface plugin	glondu	2009-12-02
*	Fixed installation of Coqide interface/library files (bug #2147).	gmelquio	2009-10-06
*	Added profile.cmo in grammar.cma so that any functions in one of the	herbelin	2009-08-14
*	csdpcert + unix	fbesson	2009-08-01
*	Makefile made compatible with Solaris 10 (bug #2078, continued - see	herbelin	2009-06-06
*	Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branch	herbelin	2009-04-08
*	Complementary fix to have ocamlopt_shared_os5fix.sh working correctly	herbelin	2009-03-31
*	Fix the fix script for ocamlopt -shared in MacOS 10.5 (remarks by Hugo)	letouzey	2009-03-30
*	ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc)	letouzey	2009-03-29
*	bin/coq-{parser,interface}: use this coqtop, not the first in $PATH	lmamane	2009-03-26
*	make coqdep_boot in stage1, not stage2	lmamane	2009-03-25
*	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey	2009-03-20
*	Makefile: avoid $(ML4FILES:.ml4=.ml) since this is $(ML4FILESML)	letouzey	2009-03-20
*	Compatibility with Apple's non-gnu sed.	msozeau	2009-03-20
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	renamed %-mod.ml into %_mod.ml to avoid ocaml warning	barras	2009-03-18
*	- configure: affiche si le natdynlink est positionne	barras	2009-03-17
*	coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...	letouzey	2009-03-16
*	Makefile: fix ignored errors, several attempts to clarify things	letouzey	2009-03-16
*	Makefile: minor improvements	letouzey	2009-03-16
*	Better mechanism for loading initial plugins	letouzey	2009-03-14
*	Makefile: ml dependencies of contribs are moved to .mllib files	letouzey	2009-03-14
*	Cleanup: avoid the warning about Coq-tex not being a valid Ocaml module name	letouzey	2009-03-11
*	in natdynlink, lack of uniformity between general %.vo and Init/%.vo rules re...	barras	2009-03-09
*	fixed groebner as a plugin + pattern matching Timeout	barras	2009-03-06
*	ajout de la tactique groebner de Loic Pottier	barras	2009-03-05
*	porting r11900 11905 and 11953 to trunk	barras	2009-03-02
*	coq-interface and coq-parser can be calls to coqtop with adequate code dynlink	letouzey	2009-02-20
*	report de r11926: install de coqchk	barras	2009-02-16
*	Backport of 11890 from branch v8.2 (compile tools with the best	herbelin	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
*	config/revision.ml, git: handle case when not at tip of a branch	lmamane	2009-02-11
*	Convert all uses of FIND_VCS_CLAUSE to recommended style	lmamane	2009-02-11
*	Fix the installation of plugins (both initial and late ones)	letouzey	2009-02-03
*	Remplacement de cp --parents par un script sh	notin	2009-01-22
*	- Fixing bug 1891 (abusive instantiations of evar arguments in	herbelin	2009-01-20
*	Cette version là fonctionne correctement au moins pour certaines	aspiwack	2009-01-20
*	More fixes...	aspiwack	2009-01-20
*	Un fix sur le commit précédent.	aspiwack	2009-01-20
*	Patch de l'installation:	aspiwack	2009-01-20
*	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
*	- Fixed the recompilation of config/revision.ml once every two conmpilations.	herbelin	2009-01-10
*	Fix build for git users	glondu	2009-01-07
*	Suite de la révision #11756	notin	2009-01-07
*	Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...	notin	2009-01-06
*	Installation des librairies: on utilise maintenant LINKCMO au lieu de	notin	2009-01-06