Feature/mkdocs with versioning #824

Merged
zxq9 merged 9 commits from github/fork/marc0olo/feature/mkdocs-with-versioning into master 2021-08-27 23:46:18 +09:00

9 Commits

Author SHA1 Message Date
marc0olo
a2f5bcacd8 docs: fix anchors in stdlib 2021-08-20 09:56:42 +02:00
Marco Walz
25a22a78b2
docs: accept proposed changes
Co-authored-by: Hans Svensson <hanssv@gmail.com>
2021-08-20 09:53:26 +02:00
marc0olo
b68beb368d docs: revert capital letter 2021-08-10 19:53:28 +02:00
marc0olo
29bf062d20 docs: hint for new file destination 2021-08-10 17:28:05 +02:00
marc0olo
04cd3db6b9 docs: refactoring and consistent naming of æternity 2021-08-10 17:25:45 +02:00
marc0olo
a5c983960e docs: ad repositories section to sophia examples 2021-08-10 17:25:45 +02:00
marc0olo
e9957b535a fix: output of notation list 2021-08-10 17:25:45 +02:00
marc0olo
f7cf80529c fix: path to file with python dependencies 2021-08-10 17:25:45 +02:00
marc0olo
1744ec43e6 docs: restructuring & introduction of mkdocs with versioning provided by mike 2021-08-10 17:25:45 +02:00