summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterbuild: Make use of the cache feature of =org-publish=Thomas Letan6 months
 
 
AgeCommit messageAuthor
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
[...]
 
Clone
https://code.soap.coffee/ogmios/og.git