coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	- Cleaning phase of the interfaces of libnames.ml and nametab.ml	herbelin	2009-08-06
*	Allow coqdoc comments inside definition bodies.	msozeau	2009-07-09
*	Adapted the emacs mode to font-lock. Re-using code from ProofGeneral.	courtieu	2009-05-28
*	Report de la révision #12104 (Maj lien site web de Coq)	notin	2009-04-24
*	Take formatted into account in rules for dot.	msozeau	2009-04-08
*	Change HTML paragraph output to avoid too much space after bulleted	msozeau	2009-04-08
*	Fix behavior on newlines with parse-comments and also do [] escaping as	msozeau	2009-04-06
*	Coqdep: some dead code and code move (first experiment with Oug)	letouzey	2009-03-27
*	Coqdep_boot: one line with bad indentation	letouzey	2009-03-26
*	Protect typeset arguments in titles in LaTeX output (fixes compilation	msozeau	2009-03-26
*	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-24
*	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-22
*	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-20
*	coq_makefile: -c and -shared conflict; tacinterp: delay evaluation of tactic ...	barras	2009-03-19
*	coq_makefile: no ml dependency on coq sources	barras	2009-03-18
*	- configure: affiche si le natdynlink est positionne	barras	2009-03-17
*	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-16
*	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-14
*	Cleanup: avoid the warning about Coq-tex not being a valid Ocaml module name	letouzey	2009-03-11
*	Amélioration de coq_makefile	notin	2009-02-24
*	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin	2009-02-11
*	From v8.2 to trunk:	herbelin	2009-02-06
*	Fix d'un bug avec l'option gallina	notin	2009-02-04
*	- Better deal with commands inside section titles in latex output using	msozeau	2009-01-21
*	Various little fixes:	msozeau	2009-01-18
*	Patch by Brian Campbell to output more information on the exception that	msozeau	2009-01-15
*	Oups... il n'y a pas d'option -impl pour ocamldep	notin	2009-01-09
*	Minor doc fixes:	msozeau	2009-01-08
*	Sous Windows, 'coqtop -where' renvoit des chemins contenant des '\'	notin	2009-01-07
*	Suite de la révision #11756	notin	2009-01-07
*	Added installation of .cmi files in "make install" target of coq_makefile.	herbelin	2009-01-04
*	Produce better html code with coqdoc and improve doc:	msozeau	2008-12-29
*	- coq_makefile: target install now respects the original tree structure	herbelin	2008-12-24
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	Take advantage of natdynlink when available: almost all contribs become loada...	letouzey	2008-12-16
*	- configure: do not strip coqtop on Darwin so as to support dynamic loading	herbelin	2008-12-12
*	- Synchronized subst_object with load_object (load_and_subst_objects)	herbelin	2008-11-23
*	Fixed bug in VernacExtend printing + missing vernacular printing rules +	herbelin	2008-11-22
*	Amélioration du README.doc et de l'installation de la doc	notin	2008-11-14
*	Tentative d'amélioration de la robustesse des Makefile générés par	notin	2008-11-13
*	Suite #11533	notin	2008-11-07
*	Correction du bug #1926	notin	2008-11-07
*	Correction d'un petit bug en cas de redéfintion par l'utilisateur de variabl...	notin	2008-11-06
*	Minor fixes:	msozeau	2008-11-05
*	2 petites améliorations de coq_makefile (traitement des .ml4 + cibles géné...	notin	2008-11-04