coq - The formal proof system

Age	Commit message (Expand)	Author
2010-01-15	Report de la révision #12676	notin
2009-11-05	Correction du bug #2153 (-D n'est pas une option standard de install)	notin
2009-10-27	Add a new vernacular command for controling implicit generalization of	msozeau
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-08-06	- Cleaning phase of the interfaces of libnames.ml and nametab.ml	herbelin
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2009-03-19	coq_makefile: -c and -shared conflict; tacinterp: delay evaluation of tactic ...	barras
2009-03-18	coq_makefile: no ml dependency on coq sources	barras
2009-03-17	- configure: affiche si le natdynlink est positionne	barras
2009-03-16	missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ...	barras
2009-02-24	Amélioration de coq_makefile	notin
2009-02-06	From v8.2 to trunk:	herbelin
2009-01-09	Oups... il n'y a pas d'option -impl pour ocamldep	notin
2009-01-07	Sous Windows, 'coqtop -where' renvoit des chemins contenant des '\'	notin
2009-01-04	Added installation of .cmi files in "make install" target of coq_makefile.	herbelin
2008-12-24	- coq_makefile: target install now respects the original tree structure	herbelin
2008-12-19	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin
2008-12-12	- configure: do not strip coqtop on Darwin so as to support dynamic loading	herbelin
2008-11-23	- Synchronized subst_object with load_object (load_and_subst_objects)	herbelin
2008-11-13	Tentative d'amélioration de la robustesse des Makefile générés par	notin
2008-11-07	Suite #11533	notin
2008-11-07	Correction du bug #1926	notin
2008-11-06	Correction d'un petit bug en cas de redéfintion par l'utilisateur de variabl...	notin
2008-11-04	2 petites améliorations de coq_makefile (traitement des .ml4 + cibles géné...	notin
2008-10-20	Syntaxe de COQBIN	notin
2008-10-18	- Merge modifs coq_makefile.ml4 de la 8.1 vers le trunk (commit 11429)	herbelin
2008-07-18	Affichage intempestif d'information de globalisation + numéro de version dan...	notin
2008-07-17	- coqdoc: correction d'un bug sur les commentaires imbriqués	notin
2008-06-24	Suppression de l'option -dump-glob et ajout d'une option -no-glob	notin
2008-06-18	Propagation des révisions 11144 et 11136 de la 8.2 vers le trunk	herbelin
2008-06-11	Prise en compte de l'export des .cmi dans coq_makefile	notin
2008-06-09	Remplacement des echo -e par printf + bug sur les exécutables ocaml dans coq...	notin
2008-04-29	Correction d'un bug dans coq_makefile: génération des règles implicites en...	notin
2008-04-03	- Correction d'un bug de coq_makefile sur les variables CAMLLIBS et	notin
2008-03-26	Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m...	notin
2008-03-25	Prise en compte des dépendances des .ml	notin
2008-03-14	New option -glob for coqdep, in order to avoid nasty tricks with sed in Makefile	letouzey
2008-03-08	Coq_makefile : backtrack sur les liens vers les exécutables ocaml	notin
2008-03-07	Correction d'un bug de coq_makefile	notin
2008-02-28	Coq_makefile: correction de l'appel aux exécutables Ocaml	notin
2008-02-28	Coq_makefile: Correction d'un bug sur les options passées à Coqdoc	notin
2008-02-27	Génération d'une toc en html et avec l'option -ps	notin
2008-02-25	coq_makefile: variables	notin
2008-02-25	coq_makefile: dépendances + génération des fichiers html	notin
2007-12-18	Petite correction sur coq_makefile	notin
2007-10-17	Prise en compte des .glob par coq_makefile	notin
2007-09-15	* Adding compability with ocaml 3.10 + camlp5 (rework of	letouzey
2007-05-16	- MAJ entêtes des fichiers produits par coq_makefile	herbelin
2007-02-24	Améliorations utiles pour les Makefile répartis sur plusieurs répertoires	herbelin
2006-05-22	Modification de l'appel à coqdoc (COQBIN)	notin