git.libre-soc.org Git - cvc5.git/commit

author	Gereon Kremer <gkremer@cs.stanford.edu>
	Mon, 4 Apr 2022 19:09:47 +0000 (12:09 -0700)
committer	GitHub <noreply@github.com>
	Mon, 4 Apr 2022 19:09:47 +0000 (19:09 +0000)
commit	a9ae5086d11ca05caaf18d9709ac63951897cd18
tree	8d00ee5315777e00bc0c39dbc427e0691c3ea6d8	tree
parent	73a4978e53972716a800014fcbf6ac254ba2c6f3	commit \| diff

Various improvements and fixes in the documentation (#8551)

This PR contains a variety of fixed and improvements to the documentation.

13 files changed:

INSTALL.rst		diff \| blob \| history
docs/binary/binary.rst		diff \| blob \| history
docs/proofs/output_alethe.rst		diff \| blob \| history
docs/proofs/output_dot.rst		diff \| blob \| history
docs/proofs/output_lean.rst	[deleted file]	blob \| history
docs/proofs/output_lfsc.rst		diff \| blob \| history
docs/proofs/proofs.rst		diff \| blob \| history
docs/references.bib		diff \| blob \| history
docs/theories/datatypes.rst		diff \| blob \| history
docs/theories/theories.rst		diff \| blob \| history
src/api/cpp/cvc5.h		diff \| blob \| history
src/api/cpp/cvc5_kind.h		diff \| blob \| history
src/api/python/cvc5.pxi		diff \| blob \| history