projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 96ca034) | patch
Add download link for examples in documentation (#7836)
authorGereon Kremer <gkremer@stanford.edu>
Mon, 3 Jan 2022 21:25:00 +0000 (13:25 -0800)
committerGitHub <noreply@github.com>
Mon, 3 Jan 2022 21:25:00 +0000 (21:25 +0000)
commit53e274229b774bd1adfafbf785b81c51c1cab2d4
tree37eef05caafa7c9b89cf64a37b4b7d8c3c13b841tree
parent96ca03482c0d89e423a1b36018918564995c8872commit | diff
Add download link for examples in documentation (#7836)

This PR adds a download link to all examples in the documentation
(that are included via the examples extension). I think we should do
this, as we have text like "download the example here" at several
places already...
docs/_static/custom.css diff | blob | history
docs/ext/examples.py diff | blob | history