summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
2020-03-27build: Make use of the cache feature of =org-publish=HEADmasterThomas Letan
2020-03-27build: Disable Emacs’ backupThomas Letan
2020-03-27chore: Reorganize the repositoryThomas Letan
2020-03-27build: Use =org-publish= to tangle ogmiosThomas Letan
2020-03-27chore: Rename organization.org into index.orgThomas Letan
2020-03-27chore: Rework the organization table of contentsThomas Letan
2020-03-27chore: Publish in the `+og/' subdirectoryThomas Letan
2020-03-27refactor: Put the closures declaration inside the noweb referencesThomas Letan
2020-03-27docs: List the dependencies of og-map in a tableThomas Letan
2020-03-26chore: Use orgcss to improve the look and feel of the ~og~ bookThomas Letan
2020-03-26chore: Add a notice about ~og~ upstream repositoryThomas Letan
2020-03-26feature: Implement =extract_level=Thomas Letan
2020-03-26build: Improve the tangling process and provide an export processThomas Letan
2020-03-26Initial commitThomas Letan