coq - The formal proof system

Age	Commit message (Expand)	Author
2014-03-02	Set officially the minimal OCaml requirement to 3.12.1	Pierre Letouzey
2013-10-14	Avoid polymorphic comparison (coqdoc).	xclerc
2013-10-14	Getting rid of the use of deprecated elements (from the OCaml standard library).	xclerc
2013-08-22	Misc changes around coqtop.ml :	letouzey
2013-04-17	Renaming SearchAbout into Search and Search into SearchHead.	herbelin
2013-03-12	invalid_arg instead of raise (Invalid_argement ...)	letouzey
2012-10-16	Continuing r15885 fixing coqdoc index bugs introduced in r14624 and r15053.	herbelin
2012-10-16	Removed dead code about linking Module names in coqdoc.	herbelin
2012-10-15	Fixing coqdoc index bugs introduced in r14624 and r15053. Revision r14624 int...	pboutill
2012-10-06	still some more dead code removal	letouzey
2012-09-14	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia
2012-09-07	Coqdoc: fix --utf8 bug for pretty printing	pboutill
2012-08-23	No more states/initial.coq, instead coqtop now requires Prelude.vo	letouzey
2012-08-08	Updating headers.	herbelin
2012-08-06	Coqdoc inlined verbatim_char in latex	pboutill
2012-08-06	Add inline verbatim (<</>>), quotes (") and urls ({{url} name}) markup/typese...	pboutill
2012-08-05	Coqdoc: More keywords, better special char escape, special case for "in *"	pboutill
2012-08-05	More entries in the index	pboutill
2012-07-18	Various minor fixes to coqdoc from A. Chlipala.	msozeau
2012-03-19	Bug 2709: Duplication in coqdoc index entries	pboutill
2012-02-16	Fix handling of space after "Notation" or "where", add missing keywords.	msozeau
2011-12-26	Coqdoc: Fixing missing newline when using "Proof term."	herbelin
2011-10-29	Fixed broken globalization of identifiers containing utf8 letters	herbelin
2011-10-29	Added checksums to glob files and warned about possibly missing	herbelin
2011-09-27	In Coq_config: get rid of coqsrc and make coqlib optional	glondu
2011-09-22	Fixing bug #2606 (bad coqdoc processing of coq escaped in comments).	herbelin
2011-04-25	Fix for handling of -R "" in coqdoc (bug #2423).	herbelin
2011-04-20	Coqdoc: also try coqlib relative to the coqdoc binary location	letouzey
2011-01-28	Remove the "Boxed" syntaxes and the const_entry_boxed field	letouzey
2010-12-06	Fixed status of ÷ and × in coqdoc (they were seen as letter instead of symb...	herbelin
2010-12-04	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-09-28	Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces the	msozeau
2010-09-28	Minor fixes of 'make doc'	pboutill
2010-09-19	Fixing bug #2389 (keyword "Declare Instance" unknown from "coqdoc -g") but	herbelin
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-05-19	Remove compile-command pragmas for emacs	letouzey
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-04-09	Applied Cédric Auger's patch to fix use of "#&xxx;" in html printing	herbelin
2010-04-06	New model for user-driven translation of tokens in coqdoc	herbelin
2010-03-30	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-29	Several bug-fixes and improvements of coqdoc	herbelin
2010-03-06	Adding Function as keyword for coqdoc	thery
2010-01-28	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
2009-12-27	Fix "Existing Instance" to handle globality information and "Existing	msozeau