index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
INSTALL.doc
Age
Commit message (
Expand
)
Author
2018-06-22
Move INSTALL.doc into doc/README.md.
Théo Zimmermann
2018-05-10
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-04-30
[doc] Update Sphinx build instructions for Debian derivatives.
Emilio Jesus Gallego Arias
2018-04-28
[doc] Remove unused dependencies.
Emilio Jesus Gallego Arias
2018-04-17
Mention sphinxcontrib-bibtex in INSTALL.doc
Maxime Dénès
2018-04-16
Remove LaTeX refman, now that migration to Sphinx is complete
Maxime Dénès
2018-03-09
Integration of a sphinx-based documentation generator.
Maxime Dénès
2017-05-20
Mention ./configure in INSTALL.doc
Théo Zimmermann
2015-11-06
More on how to compile doc.
Hugo Herbelin
2015-08-17
Remove generatable documentation files from repository. (Fix bug #4315)
Guillaume Melquiond
2008-11-14
Amélioration du README.doc et de l'installation de la doc
notin
2008-08-06
Mise à jour des fichiers README et INSTALL de la doc (bug #1921) + suppressi...
notin