coq - The formal proof system

Age	Commit message (Expand)	Author
2012-05-23	configure: add support of MinGW Win32 environment (fix #2526)	letouzey
2012-05-11	Tentative and very experminental support for typerex. Enabled with	aspiwack
2011-12-18	./configure & freedesktop	pboutill
2011-11-21	coqide default pref files are by default in /etc/xdg/coq/	pboutill
2011-06-10	Coqide Menubar integration in MacOS	pboutill
2011-04-21	Coqide: a special kill function for win32	letouzey
2011-01-07	MacOS integration	pboutill
2010-10-07	TeX input method is now supported upstream	vgross
2010-05-19	Add (almost) compatibility with camlp4, without breaking support for camlp5	letouzey
2010-04-29	"make source-doc" builds documentation of mli in html and pdf at	pboutill
2010-02-18	Polishing the setup of CoqIDE Input Method	vgross
2009-12-09	Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...	letouzey
2009-08-14	Added profile.cmo in grammar.cma so that any functions in one of the	herbelin
2009-02-11	Add -coqtoolsbyteflags and -custom to ./configure...	glondu
2009-01-06	Report de la révision 11754 (compilation sous windows)	notin
2008-11-02	Fix CAMLHLIB (due to r11358) (Closes: #1986)	glondu
2008-10-28	Native "Declare ML Module" when possible	glondu
2008-09-06	Install dllcoqrun.so and use it by default	glondu
2008-09-06	$(COQLIB) -> $(COQLIBINSTALL) in Makefiles	glondu
2008-09-05	Parametrize link flags for VM-dependent bytecode	glondu
2008-09-05	Build coqrun library using ocamlmklib...	glondu
2008-07-16	Ajout d'une option pour contrôler l'installation automatique de la documenta...	notin
2008-05-19	Fix caml debug flags configuration, -g works with the native compiler only	msozeau
2008-05-08	Integration of theories/Ints into theories/Numbers, again : better generation...	letouzey
2008-02-14	Plongement de doc/Makefile dans la nouvelle architecutre des Makefile	notin
2008-01-11	Amélioration de la génération des graphes de dépendances	notin
2007-10-04	Ajout option -lablgtkdir au configure (basé sur patch de Guillaume	herbelin
2007-10-03	Compilation sous windows	notin
2007-10-02	Fix a problem doing 'make clean' under Winodws	notin
2007-09-15	* Adding compability with ocaml 3.10 + camlp5 (rework of	letouzey
2007-08-24	Report 10087, 10089, 10090 de 8.1 vers trunk (compatibilité camlp5 et -recty...	herbelin
2007-07-13	New bootstrapping, improved, Makefile system	corbinea
2006-10-11	Ajout d'une option -annotate au configure+ changement du comportement par dé...	notin
2006-09-14	Compilation de Coq sous Windows	notin
2006-08-30	Modification du configure pour paramétrer les exécutables liés à la compi...	notin
2006-08-29	Compilation de Coq sous Windows	notin
2006-08-29	Changement de l'appel aux exécutables Caml (noms absolus)	notin
2006-07-28	Modifications dans les scripts de configuration (coqtop et coqide affichent m...	notin
2006-05-04	- intégration de la modification suggérée par L. Mamane: coqmktop passe ma...	notin
2006-04-29	suite de l'ajout des FSets/FMaps dans les theories standards	letouzey
2005-11-04	Compatibilité ocaml 3.09	herbelin
2004-10-20	COMMITED BYTECODE COMPILER	barras
2004-07-16	Mise en place mécanisme de compatibilité ocaml 3.08	herbelin
2004-03-17	install de coqdoc	barras
2004-02-24	coqdoc	filliatr
2004-01-29	pour win32	coq
2003-05-19	configure et make install s'occupent de CoqIde tout seuls	filliatr
2002-11-26	Option pour compiler une version 'light' des réels	desmettr
2002-01-10	MAJ ocaml 3.04 sur Windows	herbelin
2000-11-11	Prise en compte camlp4.opt dans la configuration et le Makefile	herbelin