summaryrefslogtreecommitdiff
path: root/docs/CMakeLists.txt
AgeCommit message (Expand)Author
2021-11-10java: Fix building cvc5.jar for cmake 3.16. (#7623)Mathias Preiner
2021-10-27Add documentation on output tags (#7499)Gereon Kremer
2021-10-04Various improvements to documentation (#7283)Gereon Kremer
2021-10-04No longer build docs by default. Use make docs. (#7296)Gereon Kremer
2021-09-30Integrate javadoc documentation (#7278)Gereon Kremer
2021-07-28Print link to docs preview (#6922)Andres Noetzli
2021-06-01docs: Restructure index page, fix style issue. (#6657)Aina Niemetz
2021-05-26Reduce size of sphinx-gh output (#6601)Gereon Kremer
2021-05-19Generate command line options for sphinx docs (#6555)Gereon Kremer
2021-05-04Improve generation of python API documentation (#6482)Gereon Kremer
2021-04-27Use std::hash for API types (#6432)Gereon Kremer
2021-04-26Generate docs conf.py by cmake (#6441)Gereon Kremer
2021-04-21cmake: Add optional module name argument for check_python_module helper. (#6406)Mathias Preiner
2021-04-20Split C++ API docs from general docs (#6365)Gereon Kremer
2021-04-14Improve documentation of API kinds (#6341)Gereon Kremer
2021-04-13API docs: Add custom target to build for GH pages. (#6335)Aina Niemetz
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-07New C++ Api: Initial setup of Api documentation. (#6295)Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback