Refactor documentation (#8288)
[cvc5.git] / docs / output-tags.rst
2022-03-21 Gereon KremerRefactor documentation (#8288)