projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 172573d) | patch
docs: Restructure index page, fix style issue. (#6657)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 2 Jun 2021 00:05:52 +0000 (17:05 -0700)
committerGitHub <noreply@github.com>
Wed, 2 Jun 2021 00:05:52 +0000 (17:05 -0700)
commitcc666c9a93ef4a374109b09f6be47ffa7aaac4b7
treef3898aa9f2f2ac4d44aa996ba16442640281df3dtree
parent172573dba45f7d231ec06a3a3992f41cf794b75ecommit | diff
docs: Restructure index page, fix style issue. (#6657)
47 files changed:
docs/CMakeLists.txt diff | blob | history
docs/_static/custom.css diff | blob | history
docs/api/CMakeLists.txt [new file with mode: 0644] blob
docs/api/api.rst [new file with mode: 0644] blob
docs/api/cpp/CMakeLists.txt [new file with mode: 0644] blob
docs/api/cpp/Doxyfile.in [new file with mode: 0644] blob
docs/api/cpp/cpp.rst [new file with mode: 0644] blob
docs/api/cpp/datatype.rst [new file with mode: 0644] blob
docs/api/cpp/datatypeconstructor.rst [new file with mode: 0644] blob
docs/api/cpp/datatypeconstructordecl.rst [new file with mode: 0644] blob
docs/api/cpp/datatypedecl.rst [new file with mode: 0644] blob
docs/api/cpp/datatypeselector.rst [new file with mode: 0644] blob
docs/api/cpp/exceptions.rst [new file with mode: 0644] blob
docs/api/cpp/grammar.rst [new file with mode: 0644] blob
docs/api/cpp/kind.rst [new file with mode: 0644] blob
docs/api/cpp/op.rst [new file with mode: 0644] blob
docs/api/cpp/result.rst [new file with mode: 0644] blob
docs/api/cpp/roundingmode.rst [new file with mode: 0644] blob
docs/api/cpp/solver.rst [new file with mode: 0644] blob
docs/api/cpp/sort.rst [new file with mode: 0644] blob
docs/api/cpp/statistics.rst [new file with mode: 0644] blob
docs/api/cpp/term.rst [new file with mode: 0644] blob
docs/api/python/CMakeLists.txt [new file with mode: 0644] blob
docs/api/python/datatype.rst [new file with mode: 0644] blob
docs/api/python/python.rst [new file with mode: 0644] blob
docs/cpp/CMakeLists.txt [deleted file] blob | history
docs/cpp/Doxyfile.in [deleted file] blob | history
docs/cpp/cpp.rst [deleted file] blob | history
docs/cpp/datatype.rst [deleted file] blob | history
docs/cpp/datatypeconstructor.rst [deleted file] blob | history
docs/cpp/datatypeconstructordecl.rst [deleted file] blob | history
docs/cpp/datatypedecl.rst [deleted file] blob | history
docs/cpp/datatypeselector.rst [deleted file] blob | history
docs/cpp/exceptions.rst [deleted file] blob | history
docs/cpp/grammar.rst [deleted file] blob | history
docs/cpp/kind.rst [deleted file] blob | history
docs/cpp/op.rst [deleted file] blob | history
docs/cpp/result.rst [deleted file] blob | history
docs/cpp/roundingmode.rst [deleted file] blob | history
docs/cpp/solver.rst [deleted file] blob | history
docs/cpp/sort.rst [deleted file] blob | history
docs/cpp/statistics.rst [deleted file] blob | history
docs/cpp/term.rst [deleted file] blob | history
docs/index.rst diff | blob | history
docs/python/CMakeLists.txt [deleted file] blob | history
docs/python/datatype.rst [deleted file] blob | history
docs/python/python.rst [deleted file] blob | history