| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add draft contentHEADmaster | Yann Herklotz | 2023-08-05 | 1 | -0/+9 |
| * | Add a footnote | Yann Herklotz | 2023-04-23 | 1 | -1/+6 |
| * | Fix 9 turning into colon | Yann Herklotz | 2023-04-23 | 1 | -12/+11 |
| * | Fix incrementing a number | Yann Herklotz | 2023-04-23 | 1 | -1/+1 |
| * | Add contact page | Yann Herklotz | 2023-04-09 | 1 | -0/+20 |
| * | Add better resizing for image | Yann Herklotz | 2023-04-09 | 1 | -1/+1 |
| * | Make into webp | Yann Herklotz | 2023-04-09 | 1 | -2/+1 |
| * | Fix accessibility | Yann Herklotz | 2023-04-09 | 1 | -2/+3 |
| * | Add twitter archive | Yann Herklotz | 2022-11-11 | 1 | -0/+453 |
| * | Update mastodon link | Yann Herklotz | 2022-11-10 | 1 | -0/+6 |
| * | Add more books to the reading list | Yann Herklotz | 2022-11-08 | 1 | -0/+17 |
| * | Add books | Yann Herklotz | 2022-11-08 | 1 | -0/+26 |
| * | Add links | Yann Herklotz | 2022-07-09 | 1 | -4/+9 |
| * | Add a better summary line | Yann Herklotz | 2022-07-09 | 1 | -1/+1 |
| * | Fix title of new article | Yann Herklotz | 2022-07-09 | 1 | -1/+1 |
| * | Add new blog-post | Yann Herklotz | 2022-07-09 | 1 | -0/+197 |
| * | Add a changelog for the OOPSLA paper | Yann Herklotz | 2022-06-28 | 1 | -0/+24 |
| * | Fix some styling | Yann Herklotz | 2022-06-25 | 1 | -0/+6 |
| * | Remove first-letter shenanigans | Yann Herklotz | 2022-05-04 | 1 | -2/+2 |
| * | Change the links | Yann Herklotz | 2022-05-04 | 1 | -27/+27 |
| * | Add another todo | Yann Herklotz | 2022-05-01 | 1 | -0/+5 |
| * | Add new publication in FCCM'22 | Yann Herklotz | 2022-03-25 | 1 | -1/+4 |
| * | Add transclusions | Yann Herklotz | 2022-03-04 | 1 | -3/+6 |
| * | Add draft about three-valued logic | Yann Herklotz | 2022-02-23 | 1 | -1/+25 |
| * | Update tag | Yann Herklotz | 2022-01-05 | 1 | -1/+1 |
| * | Remove unnecessary link macro | Yann Herklotz | 2022-01-04 | 1 | -24/+23 |
| * | Update the introduction | Yann Herklotz | 2021-12-12 | 1 | -2/+2 |
| * | Remove vericert blog post | Yann Herklotz | 2021-10-07 | 1 | -47/+0 |
| * | Export the header into setup.org | Yann Herklotz | 2021-09-17 | 1 | -25/+12 |
| * | Fix links in content.org | Yann Herklotz | 2021-09-17 | 1 | -23/+20 |
| * | Add content.org link changes | Yann Herklotz | 2021-09-17 | 1 | -15/+24 |
| * | Fix syntax highlighting | Yann Herklotz | 2021-09-14 | 1 | -24/+25 |
| * | Update redirects | Yann Herklotz | 2021-09-11 | 1 | -28/+28 |
| * | Add draft | Yann Herklotz | 2021-09-11 | 1 | -1/+1 |
| * | Fix indentation | Yann Herklotz | 2021-09-10 | 1 | -509/+372 |
| * | Fix the content indentation | Yann Herklotz | 2021-09-10 | 1 | -5/+14 |
| * | Update content | Yann Herklotz | 2021-09-10 | 1 | -89/+104 |
| * | Add initial files | Yann Herklotz | 2021-09-02 | 1 | -0/+1623 |
 |
index : yannherklotz.com | |
| Personal website hosted at https://yannherklotz.com. |
| aboutsummaryrefslogtreecommitdiffstats |
path: root/content.org