aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* Tentatively updating credits while remaining brief.Gravatar Hugo Herbelin2015-01-13
* Refresh some copyright headers.Gravatar Maxime Dénès2015-01-13
* More documentation of the Local Definitions and Axioms.Gravatar Pierre-Marie Pédrot2015-01-13
* Whodidwhat-8.5: a global passGravatar Arnaud Spiwack2015-01-12
* whodidwhat-8.5: typo.Gravatar Arnaud Spiwack2015-01-12
* some credits for STMGravatar Enrico Tassi2015-01-11
* Start credits for 8.5.Gravatar Matthieu Sozeau2015-01-08
* Small fix in whodidwhat 8.5.Gravatar Pierre Courtieu2015-01-08
* Fixed and extend bullet related info/error messages. + doc.Gravatar Pierre Courtieu2015-01-08
* Fix some documentation typos.Gravatar Guillaume Melquiond2015-01-08
* Add a few words in whodidwhat.Gravatar Maxime Dénès2015-01-08
* Document native_compute.Gravatar Maxime Dénès2015-01-08
* Initiating who-did-what for 8.5Gravatar Hugo Herbelin2015-01-07
* Committing whodidwhat files.Gravatar Hugo Herbelin2015-01-07
* rename: vi -> vioGravatar Enrico Tassi2015-01-06
* Fix some documentation typos.Gravatar Guillaume Melquiond2015-01-06
* Added more informative messages about bullets.Gravatar Pierre Courtieu2015-01-05
* Updating documentation about bullets.Gravatar Pierre Courtieu2015-01-05
* Document the new behavior of lazymatch.Gravatar Guillaume Melquiond2014-12-30
* Document 6d5b56d971 (forbid Require inside modules).Gravatar Maxime Dénès2014-12-25
* Better doc and a few fixes for Proof using.Gravatar Enrico Tassi2014-12-19
* Proof using: New vernacular to name sets of section variablesGravatar Enrico Tassi2014-12-18
* Searchxxx now search also the hypothesis and support goal selector.Gravatar Pierre Courtieu2014-12-12
* Switch the few remaining iso-latin-1 files to utf8Gravatar Pierre Letouzey2014-12-09
* refman: switch all source files to utf8Gravatar Pierre Letouzey2014-12-09
* refman: fix broken urlsGravatar Pierre Letouzey2014-12-09
* refman: remove ?uri=referer in urls pointing to validator.w3.orgGravatar Pierre Letouzey2014-12-09
* refman/Omega.tex: do not advertize Pierre Cregut's email for bug reportsGravatar Pierre Letouzey2014-12-09
* refman/coqdoc.tex: fix two erroneous \urlGravatar Pierre Letouzey2014-12-09
* refman: for xhtml validity, add 'alt' attributes to imgGravatar Pierre Letouzey2014-12-09
* refman: avoid label names with whitespace (unsupported in html)Gravatar Pierre Letouzey2014-12-09
* refman: xhtml validity of the cover pageGravatar Pierre Letouzey2014-12-09
* doc/stdlib: fix the xhtml validity of the index-list templateGravatar Pierre Letouzey2014-12-09
* doc: improved xhtml compatibility (cover, header,...)Gravatar Pierre Letouzey2014-12-09
* doc/stdlib: fix the html charset in header.html and coGravatar Pierre Letouzey2014-12-09
* doc: version number in cover.html + updates in coq.inria.fr styleGravatar Pierre Letouzey2014-12-09
* Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document...Gravatar notin2014-12-09
* Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat...Gravatar notin2014-12-09
* Documenting the Set Refine Instance Mode.Gravatar Pierre-Marie Pédrot2014-11-30
* FAQ: fix some broken urlsGravatar Pierre Letouzey2014-11-27
* typosGravatar Enrico Tassi2014-11-27
* Documenting the -color option.Gravatar Pierre-Marie Pédrot2014-11-17
* Documenting use of colors in Coq.Gravatar Pierre-Marie Pédrot2014-11-17
* Enforcing a stronger difference between the two syntaxes "simplGravatar Hugo Herbelin2014-11-16
* Document (some) Proof using syntax + the new Optimize commandsGravatar Enrico Tassi2014-11-12
* Fixing doc of Functional Induction.Gravatar Hugo Herbelin2014-11-07
* doc: version number in cover.html + updates in coq.inria.fr styleGravatar Pierre Letouzey2014-11-07
* Documenting the change of semantics of the replace tactic.Gravatar Pierre-Marie Pédrot2014-11-04
* Document [Info] command.Gravatar Arnaud Spiwack2014-11-01
* Use the url package, since coqdoc generates \url commands.Gravatar Guillaume Melquiond2014-10-27