7 Commits

Author	SHA1	Message	Date
marc0olo	d926c4a7e3	chore: update deps and remove caching of python libs	2022-07-06 10:05:44 +02:00
marc0olo	ca31db7cad	chore(deps): bump mkdocs version from 1.2.3 to 1.2.4	2022-03-28 10:43:37 +02:00
marc0olo	196460a607	chore(deps): bump pygments version	2022-03-22 13:19:11 +01:00
marc0olo	f488b35f2e	chore: make sure python libs are updated on install	2021-12-01 10:06:07 +01:00
marc0olo	cc1de9baba	feat: activate Sophia syntax highlighting by using specific pygments version	2021-12-01 08:37:49 +01:00
marc0olo	1ffb20178c	chore: mkdocs v1.2.3	2021-10-15 12:03:46 +02:00
Marco Walz	262452fb70	Feature/mkdocs with versioning (#333) ... * docs: restructuring & introduction of mkdocs with versioning provided by mike * docs: ad repositories section to sophia examples * docs: refactoring and consistent naming of æternity * docs: hint for new file destination * docs: revert capital letter * docs: accept proposed changes * docs: fix anchors in stdlib	2021-08-27 17:46:18 +03:00