index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
Makefile.doc
Commit message (
Expand
)
Author
Age
*
Merge branch 'master' into sphinx-doc-chapter-22
Guillaume Melquiond
2018-03-22
|
\
|
*
Merge branch 'master' into sphinx-doc-chapter-21
Guillaume Melquiond
2018-03-22
|
|
\
|
|
*
Merge branch 'master' into sphinx-doc-chapter-19
Guillaume Melquiond
2018-03-22
|
|
|
\
*
|
|
|
[Sphinx] Move chapter 22 to new infrastructure
Maxime Dénès
2018-03-22
|
*
|
|
[Sphinx] Move chapter 21 to new infrastructure
Maxime Dénès
2018-03-22
|
/
/
/
|
*
/
[Sphinx] Move chapter 19 to new infrastructure
Maxime Dénès
2018-03-22
|
/
/
|
*
[Sphinx] Move chapter 17 to new infrastructure
Maxime Dénès
2018-03-22
|
/
*
[Sphinx] Add chapter 11
Maxime Dénès
2018-03-16
*
[Sphinx] Move chapter 3 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 16 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 14 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 13 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 12 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 10 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 8 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 5 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 4 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Add chapter 2
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 2 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move credits to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move introduction to new infrastructure
Maxime Dénès
2018-03-13
*
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
[next]