projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 860164f) | patch
Various minor docs improvements (#7626)
authorGereon Kremer <nafur42@gmail.com>
Fri, 12 Nov 2021 02:27:53 +0000 (18:27 -0800)
committerGitHub <noreply@github.com>
Fri, 12 Nov 2021 02:27:53 +0000 (02:27 +0000)
commit5cfbb67e228daf76835b7fd0a95d214859be030e
tree02e731049eb7789d101e5b9209c28b85eb315358tree
parent860164fa178cd8fa848ce3796c242fdde5838650commit | diff
Various minor docs improvements (#7626)

This PR does a number of minor improvements to the docs.
12 files changed:
docs/api/api.rst diff | blob | history
docs/api/cpp/class_hierarchy.rst [deleted file] blob | history
docs/api/cpp/cpp.rst diff | blob | history
docs/api/java/CMakeLists.txt diff | blob | history
docs/api/python/python.rst diff | blob | history
docs/binary/binary.rst diff | blob | history
docs/binary/languages.rst [new file with mode: 0644] blob
docs/binary/quickstart.rst diff | blob | history
docs/examples/examples.rst diff | blob | history
docs/index.rst diff | blob | history
docs/languages.rst [deleted file] blob | history
src/api/java/genkinds.py.in diff | blob | history