aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2015-01-11some credits for STMEnrico Tassi
2015-01-08Start credits for 8.5.Matthieu Sozeau
2015-01-08Small fix in whodidwhat 8.5.Pierre Courtieu
2015-01-08Fixed and extend bullet related info/error messages. + doc.Pierre Courtieu
2015-01-08Fix some documentation typos.Guillaume Melquiond
2015-01-08Add a few words in whodidwhat.Maxime Dénès
2015-01-08Document native_compute.Maxime Dénès
2015-01-07Initiating who-did-what for 8.5Hugo Herbelin
2015-01-07Committing whodidwhat files.Hugo Herbelin
2015-01-06rename: vi -> vioEnrico Tassi
2015-01-06Fix some documentation typos.Guillaume Melquiond
2015-01-05Added more informative messages about bullets.Pierre Courtieu
2015-01-05Updating documentation about bullets.Pierre Courtieu
2014-12-30Document the new behavior of lazymatch.Guillaume Melquiond
2014-12-25Document 6d5b56d971 (forbid Require inside modules).Maxime Dénès
2014-12-19Better doc and a few fixes for Proof using.Enrico Tassi
2014-12-18Proof using: New vernacular to name sets of section variablesEnrico Tassi
2014-12-12Searchxxx now search also the hypothesis and support goal selector.Pierre Courtieu
2014-12-09Switch the few remaining iso-latin-1 files to utf8Pierre Letouzey
2014-12-09refman: switch all source files to utf8Pierre Letouzey
2014-12-09refman: fix broken urlsPierre Letouzey
2014-12-09refman: remove ?uri=referer in urls pointing to validator.w3.orgPierre Letouzey
2014-12-09refman/Omega.tex: do not advertize Pierre Cregut's email for bug reportsPierre Letouzey
2014-12-09refman/coqdoc.tex: fix two erroneous \urlPierre Letouzey
2014-12-09refman: for xhtml validity, add 'alt' attributes to imgPierre Letouzey
2014-12-09refman: avoid label names with whitespace (unsupported in html)Pierre Letouzey
2014-12-09refman: xhtml validity of the cover pagePierre Letouzey
2014-12-09doc/stdlib: fix the xhtml validity of the index-list templatePierre Letouzey
2014-12-09doc: improved xhtml compatibility (cover, header,...)Pierre Letouzey
2014-12-09doc/stdlib: fix the html charset in header.html and coPierre Letouzey
2014-12-09doc: version number in cover.html + updates in coq.inria.fr stylePierre Letouzey
2014-12-09Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document...notin
2014-12-09Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat...notin
2014-11-30Documenting the Set Refine Instance Mode.Pierre-Marie Pédrot
2014-11-27FAQ: fix some broken urlsPierre Letouzey
2014-11-27typosEnrico Tassi
2014-11-17Documenting the -color option.Pierre-Marie Pédrot
2014-11-17Documenting use of colors in Coq.Pierre-Marie Pédrot
2014-11-16Enforcing a stronger difference between the two syntaxes "simplHugo Herbelin
2014-11-12Document (some) Proof using syntax + the new Optimize commandsEnrico Tassi
2014-11-07Fixing doc of Functional Induction.Hugo Herbelin
2014-11-07doc: version number in cover.html + updates in coq.inria.fr stylePierre Letouzey
2014-11-04Documenting the change of semantics of the replace tactic.Pierre-Marie Pédrot
2014-11-01Document [Info] command.Arnaud Spiwack
2014-10-27Use the url package, since coqdoc generates \url commands.Guillaume Melquiond
2014-10-24Addressing report #3279 (inconsistency of behavior of the -> and <-Hugo Herbelin
2014-10-24Fix typo in documentation of the [repeat] tactical.Arnaud Spiwack
2014-10-22Move 'Arguments: clear implicits' to 2.7.4 (Close 2891)Enrico Tassi
2014-10-16More fallout from elisp renameAnders Kaseorg
2014-10-03Fixing #3606 continued (doc of Scheme Boolean Equality Scheme).Hugo Herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 08:12:49 +0000