coq - The formal proof system

Age	Commit message (Expand)	Author
2008-07-16	Ajout d'une option pour contrôler l'installation automatique de la documenta...	notin
2008-06-18	Detection de l'architecture sous Windows (et sans uname -o)	notin
2008-06-18	Où l'on se débarrasse de uname -o	notin
2008-06-12	Compilation Windows	notin
2008-06-10	2-3 petites modifs sur la doc	notin
2008-06-09	Remplacement des echo -e par printf + bug sur les exécutables ocaml dans coq...	notin
2008-06-02	Petites corrections diverses :	herbelin
2008-06-01	On cesse de demander une valeur pour l'option reals si l'utilisateur	herbelin
2008-06-01	Quelques amendements liées à la compilation des packages.	herbelin
2008-05-19	Fix caml debug flags configuration, -g works with the native compiler only	msozeau
2008-05-17	Fix a de Bruijn bug in setoid_rewrite when rewriting under	msozeau
2008-05-08	Integration of theories/Ints into theories/Numbers, again : better generation...	letouzey
2008-04-19	Test pour compilation native camlp5	herbelin
2008-04-04	Test make 3.81	herbelin
2008-04-03	- Correction d'un bug de coq_makefile sur les variables CAMLLIBS et	notin
2008-02-14	Plongement de doc/Makefile dans la nouvelle architecutre des Makefile	notin
2008-02-06	Résolution d'une confusion dans le rôle des variables CAMLP4 et CAMLP4LIB:	herbelin
2008-02-06	Protection contre l'erreur mentionnée dans le rapport de bug 1790	herbelin
2007-12-13	migration of ide/utf8.v to theories/Unicode/Utf8.v	letouzey
2007-10-16	Added transitivity and irreflexivity of <, as well as < -elimination for bina...	emakarov
2007-10-11	Bug variable CAMLP4 qui ne doit pas contenir un chemin mais le type de prepro...	herbelin
2007-10-09	Verification ocaml >= 3.09.3 pour coq natif sous MacOS X Pentium	herbelin
2007-10-07	Détection de camlp5 5.00 au configure	herbelin
2007-10-07	Ajout de la possibilité de donner le chemin de la bibliothèque camlp5	herbelin
2007-10-05	petite reparation de la config pour camlp5 apres le commit 10164	letouzey
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-10-02	Report des modifications faites sur le configure en r10039, r10052, r10053 et...	notin
2007-09-15	* Adding compability with ocaml 3.10 + camlp5 (rework of	letouzey
2007-08-20	Modification de l'initialisation des chemins de la librairie standard	notin
2007-07-13	New bootstrapping, improved, Makefile system	corbinea
2007-04-24	Le configure et le README accordent leurs violons pour exiger ocaml 3.07 (res...	herbelin
2007-02-27	Revision of the coqide configuration:	letouzey
2007-01-10	Merge from Lionel Elie Mamane's private branch:	lmamane
2006-11-16	Adaptation à FreeBSD	notin
2006-11-06	Changement du magic number	notin
2006-10-24	Changement de la valeur par défaut de with_geoproof (stabilité coqide)	notin
2006-10-11	Ajout d'une option -annotate au configure+ changement du comportement par dé...	notin
2006-09-14	Bug dans configure (test best_compiler)	notin
2006-09-14	Modification de l'appel aux exécutables Caml	notin
2006-09-01	Suite ajout option -ocamlib à configure	notin
2006-09-01	Affichage de l'aide dans configure	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-06-15	Report des modifications faites lors de la 8.0pl3 (ter)	notin
2006-06-15	Report des modifications faites lors de la 8.0pl3 (bis)	notin
2006-06-15	Report des modifications faites lors de la 8.0pl3	notin