index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
INSTALL.doc
Commit message (
Expand
)
Author
Age
*
One can build all the HTML doc using default.nix.
Théo Zimmermann
2018-05-10
*
Clean-up in Makefile.doc and include Sphinx in doc-html target.
Théo Zimmermann
2018-05-10
*
Remove tutorials.
Théo Zimmermann
2018-05-10
*
[doc] Update Sphinx build instructions for Debian derivatives.
Emilio Jesus Gallego Arias
2018-04-30
*
[doc] Remove unused dependencies.
Emilio Jesus Gallego Arias
2018-04-28
*
Mention sphinxcontrib-bibtex in INSTALL.doc
Maxime Dénès
2018-04-17
*
Remove LaTeX refman, now that migration to Sphinx is complete
Maxime Dénès
2018-04-16
*
Integration of a sphinx-based documentation generator.
Maxime Dénès
2018-03-09
*
Mention ./configure in INSTALL.doc
Théo Zimmermann
2017-05-20
*
More on how to compile doc.
Hugo Herbelin
2015-11-06
*
Remove generatable documentation files from repository. (Fix bug #4315)
Guillaume Melquiond
2015-08-17
*
Amélioration du README.doc et de l'installation de la doc
notin
2008-11-14
*
Mise à jour des fichiers README et INSTALL de la doc (bug #1921) + suppressi...
notin
2008-08-06