Age | Commit message (Expand) | Author |
---|---|---|
2022-07-31 | Overhaul of the OCaml setup | Thomas Letan |
2022-07-31 | Revive Coq config from previous setup | Thomas Letan |
2022-07-31 | Small tweaks to the org setup | Thomas Letan |
2022-02-07 | Try to be more resilient to errors in our org workflow | Thomas Letan |
2022-02-06 | Refine the org-mode config to move tasks around more easily | Thomas Letan |
2022-02-06 | Move items around in Org mode | Thomas Letan |
2022-02-06 | Organize my life in plain-text, maybe | Thomas Letan |
2022-02-05 | Bootstrap a new configuration | Thomas Letan |