coq - The formal proof system

Age	Commit message (Expand)	Author
2009-03-27	Coqdep: some dead code and code move (first experiment with Oug)	letouzey
2009-03-26	Coqdep_boot: one line with bad indentation	letouzey
2009-03-26	Protect typeset arguments in titles in LaTeX output (fixes compilation	msozeau
2009-03-24	Fix coqdoc bugs reported by Ian Lynagh.	msozeau
2009-03-24	pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file)	letouzey
2009-03-22	More elaborate handling of newlines in Gallina mode. Support inline	msozeau
2009-03-22	coqdoc fixes and support for parsing regular comments (request by	msozeau
2009-03-20	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey
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-03-16	coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...	letouzey
2009-03-14	Coqdep: better handling of Declare ML Module (via .mllib) + many cleanups	letouzey
2009-03-14	Coqdep: remove references to obsolete .zi and Require Implementation stuff	letouzey
2009-03-11	Cleanup: avoid the warning about Coq-tex not being a valid Ocaml module name	letouzey
2009-02-24	Amélioration de coq_makefile	notin
2009-02-11	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin
2009-02-06	From v8.2 to trunk:	herbelin
2009-02-04	Fix d'un bug avec l'option gallina	notin
2009-01-21	- Better deal with commands inside section titles in latex output using	msozeau
2009-01-18	Various little fixes:	msozeau
2009-01-15	Patch by Brian Campbell to output more information on the exception that	msozeau
2009-01-09	Oups... il n'y a pas d'option -impl pour ocamldep	notin
2009-01-08	Minor doc fixes:	msozeau
2009-01-07	Sous Windows, 'coqtop -where' renvoit des chemins contenant des '\'	notin
2009-01-07	Suite de la révision #11756	notin
2009-01-04	Added installation of .cmi files in "make install" target of coq_makefile.	herbelin
2008-12-29	Produce better html code with coqdoc and improve doc:	msozeau
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-16	Take advantage of natdynlink when available: almost all contribs become loada...	letouzey
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-22	Fixed bug in VernacExtend printing + missing vernacular printing rules +	herbelin
2008-11-14	Amélioration du README.doc et de l'installation de la doc	notin
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-05	Minor fixes:	msozeau
2008-11-04	2 petites améliorations de coq_makefile (traitement des .ml4 + cibles géné...	notin
2008-10-31	Ajout d'une option -raw pour Coqdoc (sortie en texte brut)	notin
2008-10-26	Stop using a coqdocdoc env which prevents use of environments inside	msozeau
2008-10-22	Various coqdoc improvements:	msozeau
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-10-06	## Lines starting with '## ' will be removed from the log message.	msozeau
2008-10-03	Minor fixes related to coqdoc and --interpolate and the dependent	msozeau