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