Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update the oopsla paper | Yann Herklotz | 2021-10-07 | 1 | -0/+0 |
* | Remove vericert blog post | Yann Herklotz | 2021-10-07 | 1 | -47/+0 |
* | Don't prompt for evaluating code | Yann Herklotz | 2021-09-17 | 1 | -1/+2 |
* | Put function into publish | Yann Herklotz | 2021-09-17 | 2 | -9/+7 |
* | Update theme | Yann Herklotz | 2021-09-17 | 1 | -5/+5 |
* | Merge branch 'dev' | Yann Herklotz | 2021-09-17 | 2 | -26/+35 |
|\ | |||||
| * | Export the header into setup.org | Yann Herklotz | 2021-09-17 | 2 | -25/+25 |
| * | 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 links in content.org | Yann Herklotz | 2021-09-17 | 1 | -23/+20 |
* | | Update syntax highlighting colours | Yann Herklotz | 2021-09-17 | 1 | -3/+3 |
* | | Merge remote-tracking branch 'origin/master' | Yann Herklotz | 2021-09-17 | 6 | -31/+208 |
|\| | |||||
| * | Fix syntax highlighting | Yann Herklotz | 2021-09-14 | 4 | -29/+202 |
| * | Update theme | Yann Herklotz | 2021-09-14 | 1 | -5/+5 |
| * | Add to .gitignore | Yann Herklotz | 2021-09-14 | 1 | -0/+1 |
| * | Merge branch 'master' of gitlab.com:ymherklotz/shiny-new-website | Yann Herklotz | 2021-09-14 | 21 | -151/+60 |
| |\ | |||||
| * | | Set no classes | Yann Herklotz | 2021-09-14 | 1 | -0/+3 |
* | | | Add news about presenting at chalmers | Yann Herklotz | 2021-09-17 | 1 | -0/+4 |
| |/ |/| | |||||
* | | Add new theme | Yann Herklotz | 2021-09-14 | 1 | -5/+5 |
* | | Adding camera ready version of paper | Yann Herklotz | 2021-09-13 | 1 | -0/+0 |
* | | Update redirects | Yann Herklotz | 2021-09-11 | 17 | -148/+31 |
* | | Add draft | Yann Herklotz | 2021-09-11 | 1 | -1/+1 |
* | | Update baseurl | Yann Herklotz | 2021-09-11 | 1 | -1/+1 |
* | | Update theme | Yann Herklotz | 2021-09-11 | 1 | -5/+5 |
* | | Update baseurl | Yann Herklotz | 2021-09-11 | 2 | -6/+6 |
* | | Add base url | Yann Herklotz | 2021-09-11 | 1 | -1/+1 |
* | | Make CI pass | Yann Herklotz | 2021-09-11 | 2 | -6/+2 |
* | | Add emacs | Yann Herklotz | 2021-09-11 | 2 | -0/+17 |
* | | Add gitlab yml | Yann Herklotz | 2021-09-11 | 1 | -0/+13 |
* | | Update gitmodules | Yann Herklotz | 2021-09-11 | 1 | -1/+1 |
* | | Update submodule | Yann Herklotz | 2021-09-11 | 1 | -5/+5 |
|/ | |||||
* | Fix indentation | Yann Herklotz | 2021-09-10 | 1 | -509/+372 |
* | Update gitmodule | Yann Herklotz | 2021-09-10 | 1 | -5/+5 |
* | Fix the content indentation | Yann Herklotz | 2021-09-10 | 1 | -5/+14 |
* | Fix the toml file for cross-platform | Yann Herklotz | 2021-09-10 | 1 | -11/+11 |
* | Add gitmodule | Yann Herklotz | 2021-09-10 | 2 | -0/+9 |
* | Update content | Yann Herklotz | 2021-09-10 | 3 | -90/+106 |
* | Add redirects | Yann Herklotz | 2021-09-10 | 15 | -0/+120 |
* | Add initial files | Yann Herklotz | 2021-09-02 | 57 | -0/+1989 |