4 Commits

Include renames

Author	SHA1	Message	Date
zxq9	dbab49936d	Renaming and preparing to remove oracles (#985) ... A few references to oracles still remain, but they have been removed as a feature, at least. Reviewed-on: #985 Reviewed-by: Ulf Wiger <ulfwiger@qpq.swiss> Co-authored-by: Craig Everett <zxq9@zxq9.com> Co-committed-by: Craig Everett <zxq9@zxq9.com>	2025-03-13 12:53:01 +09: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
Thomas Arts	4b1e11a0ef	Update LICENCE	2019-01-07 19:16:39 +01:00
Robert Virding	d4d02fd576	First test work commit, don't touch	2018-12-22 01:23:40 +01:00