coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Tentatively updating credits while remaining brief.	Hugo Herbelin	2015-01-13
*	Refresh some copyright headers.	Maxime Dénès	2015-01-13
*	More documentation of the Local Definitions and Axioms.	Pierre-Marie Pédrot	2015-01-13
*	Whodidwhat-8.5: a global pass	Arnaud Spiwack	2015-01-12
*	whodidwhat-8.5: typo.	Arnaud Spiwack	2015-01-12
*	some credits for STM	Enrico Tassi	2015-01-11
*	Start credits for 8.5.	Matthieu Sozeau	2015-01-08
*	Small fix in whodidwhat 8.5.	Pierre Courtieu	2015-01-08
*	Fixed and extend bullet related info/error messages. + doc.	Pierre Courtieu	2015-01-08
*	Fix some documentation typos.	Guillaume Melquiond	2015-01-08
*	Add a few words in whodidwhat.	Maxime Dénès	2015-01-08
*	Document native_compute.	Maxime Dénès	2015-01-08
*	Initiating who-did-what for 8.5	Hugo Herbelin	2015-01-07
*	Committing whodidwhat files.	Hugo Herbelin	2015-01-07
*	rename: vi -> vio	Enrico Tassi	2015-01-06
*	Fix some documentation typos.	Guillaume Melquiond	2015-01-06
*	Added more informative messages about bullets.	Pierre Courtieu	2015-01-05
*	Updating documentation about bullets.	Pierre Courtieu	2015-01-05
*	Document the new behavior of lazymatch.	Guillaume Melquiond	2014-12-30
*	Document 6d5b56d971 (forbid Require inside modules).	Maxime Dénès	2014-12-25
*	Better doc and a few fixes for Proof using.	Enrico Tassi	2014-12-19
*	Proof using: New vernacular to name sets of section variables	Enrico Tassi	2014-12-18
*	Searchxxx now search also the hypothesis and support goal selector.	Pierre Courtieu	2014-12-12
*	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey	2014-12-09
*	refman: switch all source files to utf8	Pierre Letouzey	2014-12-09
*	refman: fix broken urls	Pierre Letouzey	2014-12-09
*	refman: remove ?uri=referer in urls pointing to validator.w3.org	Pierre Letouzey	2014-12-09
*	refman/Omega.tex: do not advertize Pierre Cregut's email for bug reports	Pierre Letouzey	2014-12-09
*	refman/coqdoc.tex: fix two erroneous \url	Pierre Letouzey	2014-12-09
*	refman: for xhtml validity, add 'alt' attributes to img	Pierre Letouzey	2014-12-09
*	refman: avoid label names with whitespace (unsupported in html)	Pierre Letouzey	2014-12-09
*	refman: xhtml validity of the cover page	Pierre Letouzey	2014-12-09
*	doc/stdlib: fix the xhtml validity of the index-list template	Pierre Letouzey	2014-12-09
*	doc: improved xhtml compatibility (cover, header,...)	Pierre Letouzey	2014-12-09
*	doc/stdlib: fix the html charset in header.html and co	Pierre Letouzey	2014-12-09
*	doc: version number in cover.html + updates in coq.inria.fr style	Pierre Letouzey	2014-12-09
*	Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document...	notin	2014-12-09
*	Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat...	notin	2014-12-09
*	Documenting the Set Refine Instance Mode.	Pierre-Marie Pédrot	2014-11-30
*	FAQ: fix some broken urls	Pierre Letouzey	2014-11-27
*	typos	Enrico Tassi	2014-11-27
*	Documenting the -color option.	Pierre-Marie Pédrot	2014-11-17
*	Documenting use of colors in Coq.	Pierre-Marie Pédrot	2014-11-17
*	Enforcing a stronger difference between the two syntaxes "simpl	Hugo Herbelin	2014-11-16
*	Document (some) Proof using syntax + the new Optimize commands	Enrico Tassi	2014-11-12
*	Fixing doc of Functional Induction.	Hugo Herbelin	2014-11-07
*	doc: version number in cover.html + updates in coq.inria.fr style	Pierre Letouzey	2014-11-07
*	Documenting the change of semantics of the replace tactic.	Pierre-Marie Pédrot	2014-11-04
*	Document [Info] command.	Arnaud Spiwack	2014-11-01
*	Use the url package, since coqdoc generates \url commands.	Guillaume Melquiond	2014-10-27