coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia	2012-09-14
*	Coqdoc: fix --utf8 bug for pretty printing	pboutill	2012-09-07
*	No more states/initial.coq, instead coqtop now requires Prelude.vo	letouzey	2012-08-23
*	Updating headers.	herbelin	2012-08-08
*	Coqdoc inlined verbatim_char in latex	pboutill	2012-08-06
*	Add inline verbatim (<</>>), quotes (") and urls ({{url} name}) markup/typese...	pboutill	2012-08-06
*	Coqdoc: More keywords, better special char escape, special case for "in *"	pboutill	2012-08-05
*	More entries in the index	pboutill	2012-08-05
*	Various minor fixes to coqdoc from A. Chlipala.	msozeau	2012-07-18
*	Bug 2709: Duplication in coqdoc index entries	pboutill	2012-03-19
*	Fix handling of space after "Notation" or "where", add missing keywords.	msozeau	2012-02-16
*	Coqdoc: Fixing missing newline when using "Proof term."	herbelin	2011-12-26
*	Fixed broken globalization of identifiers containing utf8 letters	herbelin	2011-10-29
*	Added checksums to glob files and warned about possibly missing	herbelin	2011-10-29
*	In Coq_config: get rid of coqsrc and make coqlib optional	glondu	2011-09-27
*	Fixing bug #2606 (bad coqdoc processing of coq escaped in comments).	herbelin	2011-09-22
*	Fix for handling of -R "" in coqdoc (bug #2423).	herbelin	2011-04-25
*	Coqdoc: also try coqlib relative to the coqdoc binary location	letouzey	2011-04-20
*	Remove the "Boxed" syntaxes and the const_entry_boxed field	letouzey	2011-01-28
*	Fixed status of ÷ and × in coqdoc (they were seen as letter instead of symb...	herbelin	2010-12-06
*	Better fix to bug #2183 ("moduleid" internal name got exposed to users	herbelin	2010-12-04
*	Fixing several bugs with links to notation in coqdoc, including bug #2445:	herbelin	2010-12-04
*	Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces the	msozeau	2010-09-28
*	Minor fixes of 'make doc'	pboutill	2010-09-28
*	Fixing bug #2389 (keyword "Declare Instance" unknown from "coqdoc -g") but	herbelin	2010-09-19
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove compile-command pragmas for emacs	letouzey	2010-05-19
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Applied Cédric Auger's patch to fix use of "#&xxx;" in html printing	herbelin	2010-04-09
*	New model for user-driven translation of tokens in coqdoc	herbelin	2010-04-06
*	Small things about coqdoc + fixing lettuple.v test (part of bug #2289)	herbelin	2010-03-30
*	Removed hard-wiring of latin1 letters in coqdoc (see bug #2275)	herbelin	2010-03-30
*	Small improvements around coqdoc (including fix for bug #2288)	herbelin	2010-03-30
*	Fixed small bugs introduced in commit 12890 (bug #2286, that comes	herbelin	2010-03-30
*	Several bug-fixes and improvements of coqdoc	herbelin	2010-03-29
*	Adding Function as keyword for coqdoc	thery	2010-03-06
*	Fix previous commit	notin	2010-01-28
*	Typo in previous commit	notin	2010-01-28
*	Correction du bug #2219: application du patch envoyé par F. Garillot	notin	2010-01-28
*	Fix "Existing Instance" to handle globality information and "Existing	msozeau	2009-12-27
*	Fix make_exact_entry to allow applying [forall x, P x] hints directly,	msozeau	2009-12-01
*	Suppression de l'appel à Lexing.new_line (qui n'existe pas dans les versions...	notin	2009-11-12
*	Correction du bug #2183	notin	2009-11-10
*	Misc fixes.	msozeau	2009-11-06
*	Removed debugging stuff mistakenly introduced in r12426.	herbelin	2009-11-03
*	Removed 'dest' from keyword highlighting.	gmelquio	2009-10-30
*	Integrate a few improvements on typeclasses and Program from the equations br...	msozeau	2009-10-28
*	Added option --external to coqdoc to bind an url to an external library.	herbelin	2009-10-27
*	Better handling of emphasis.	msozeau	2009-10-13
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17