coq - The formal proof system

Age	Commit message (Expand)	Author
2019-02-11	[coqdoc] Add the From keyword	Pierre Roux
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-08-29	coqdoc: Support comments in verbatim output	Tej Chajed
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2016-08-21	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot
2016-08-16	Output a break before a list only if there was an empty line (bug #4606).	Guillaume Melquiond
2016-06-03	Merge branch 'v8.5' into trunk	Guillaume Melquiond
2016-06-03	Fix proof terminators not being detected in presence of curly brackets (bug #...	Guillaume Melquiond
2016-06-03	Make "coqdoc -g --parse-comments" behave properly (bug #4773).	Guillaume Melquiond
2016-05-08	Removing dead code and unused opens.	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-10-23	Support "Functional Scheme" in coqdoc. (Fix bug #4382)	Guillaume Melquiond
2015-04-02	Avoid outputting stray "Local" keywords in HTML documentation.	Guillaume Melquiond
2015-02-11	Make coqdoc -l properly handle Local before Ltac. (Fix for bug #3307)	Guillaume Melquiond
2015-01-12	Update headers.	Maxime Dénès
2015-01-06	Improve error recovery in case of ill-formed coqdoc comment. (Fix for bug #38...	Guillaume Melquiond
2014-10-22	Supporting Greek and Coptic (U0370) as first letter of coqdoc identifiers.	Hugo Herbelin
2014-09-04	Add a [Variant] declaration which allows to write non-recursive variant types.	Arnaud Spiwack
2014-04-28	Recognize Parameters as a command in coqdoc. (Fix for bug #3279)	Guillaume Melquiond
2014-04-28	Fixing coqdoc bug #3292 (unfortunate collision betweens the relative	Hugo Herbelin
2014-04-04	Prevent verbatim text from leaking out of comments. (See bug #2882)	Guillaume Melquiond
2014-03-02	Set officially the minimal OCaml requirement to 3.12.1	Pierre Letouzey
2012-10-06	still some more dead code removal	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-07-18	Various minor fixes to coqdoc from A. Chlipala.	msozeau
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-09-22	Fixing bug #2606 (bad coqdoc processing of coq escaped in comments).	herbelin
2010-12-06	Fixed status of ÷ and × in coqdoc (they were seen as letter instead of symb...	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-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-01	Fix make_exact_entry to allow applying [forall x, P x] hints directly,	msozeau