| Age | Commit message (Expand) | Author |
|---|
| 2018-03-09 | Integration of a sphinx-based documentation generator. | Maxime Dénès |
| 2018-03-05 | Remove NOPLUGINDOCS option | mrmr1993 |
| 2018-03-05 | Build docs for plugins by default, add NOPLUGINDOCS flag to disable | mrmr1993 |
| 2018-03-05 | Tidy up ml-doc outut, give it a separate output directory | mrmr1993 |
| 2018-03-05 | Use computed deps to generate ml-doc and use implicit mli-doc deps | mrmr1993 |
| 2018-03-05 | Merge PR #6855: Update headers following #6543. | Maxime Dénès |
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann |
| 2018-02-27 | Use relative path for show_latex_messages | mrmr1993 |
| 2018-02-27 | Use MYCAMLP5LIB instead of undefined MYCAMLP4LIB | mrmr1993 |
| 2017-12-27 | [API] remove large file containing duplicate interfaces | Enrico Tassi |
| 2017-12-18 | Removing the FAQ, which has been moved to the GitHub wiki for this | Matt Quinn |
| 2017-09-22 | Remove some unused parts of the reference manual. | Guillaume Melquiond |
| 2017-09-15 | Merge PR #979: Fix install-doc target and other gitlab failures | Maxime Dénès |
| 2017-08-31 | Fix install-doc target | Gaëtan Gilbert |
| 2017-08-29 | [general] Merge parsing with highparsing, put toplevel at the top of the link... | Emilio Jesus Gallego Arias |
| 2017-08-02 | Port ssr manual to Coq's latex/hevea style | Enrico Tassi |
| 2017-08-02 | Makefile.doc: implement serve-refman-8080 target | Enrico Tassi |
| 2017-06-07 | Put all plugins behind an "API". | Matej Kosik |
| 2017-05-28 | Gitlab CI | Gaëtan Gilbert |
| 2017-03-07 | Farewell decl_mode | Enrico Tassi |
| 2016-12-19 | Avoid concurrent runs when producing html documentation (bug #5269). | Guillaume Melquiond |
| 2016-10-21 | Merge remote-tracking branch 'gforge/v8.5' into v8.6 | Matthieu Sozeau |
| 2016-10-19 | Change the order of arguments of fig2dev. | Théo Zimmermann |
| 2016-06-23 | Makefile.doc: fix 'make doc' | Pierre Letouzey |
| 2016-06-08 | Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install} | Pierre Letouzey |
| 2015-08-17 | Remove generatable documentation files from repository. (Fix bug #4315) | Guillaume Melquiond |
| 2015-02-17 | Separate index for vernacular options. | Maxime Dénès |
| 2015-02-10 | Run coqdoc on the .v files from the plugins directory. (Fix for bug #2195) | Guillaume Melquiond |
| 2014-12-09 | Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat... | notin |
| 2014-11-07 | doc: version number in cover.html + updates in coq.inria.fr style | Pierre Letouzey |
| 2014-10-24 | Install index_urls.txt in a location where coqide might actually find it. | Guillaume Melquiond |
| 2014-10-24 | Fix generation of the index_urls.txt file. | Guillaume Melquiond |
| 2012-08-23 | configure: get rid of the -src option and of ${COQSRC} | letouzey |
| 2012-02-01 | Improved synchronisation of stdlib index page with current library state. | herbelin |
| 2012-01-03 | Makefile.doc: attempt to solve race condition for creating doc/refman/html. | herbelin |
| 2011-12-27 | Bug 2669 and more: make full-stdlib | pboutill |
| 2011-10-05 | Force dependency of Reference-Manual.pdf over Reference-Manual.dvi | herbelin |
| 2011-09-19 | Makefile.doc: typo, index_url.txt should be index_urls.txt | letouzey |
| 2011-09-17 | Various fixes in the Makefiles | letouzey |
| 2011-04-08 | Add "make full-stdlib" to make all the doc in pdf as ask by bug 2395 | pboutill |
| 2010-09-06 | Added doc/refman/coqide.eps and coqide-queries.eps to remove the need for png... | emakarov |
| 2010-03-30 | Small improvements around coqdoc (including fix for bug #2288) | herbelin |
| 2009-09-28 | Fix the stdlib doc compilation + switch all .v file to utf8 | letouzey |
| 2009-09-15 | - Tentatively made order-dependency wrt .vo files a full dependency | herbelin |
| 2009-08-25 | install-doc* are PHONY | lmamane |
| 2009-08-14 | Tried to make F1 documentation tool working in CoqIDE. | herbelin |
| 2009-03-20 | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey |
| 2009-03-16 | Makefile: fix ignored errors, several attempts to clarify things | letouzey |
| 2009-02-11 | Modification du style du manuel de référence | notin |
| 2009-02-11 | A few fixes for bug #2032 (backport r11857) | glondu |
