Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Call customisation function everytime the theme is changed | Yann Herklotz | 2023-05-12 | 1 | -1/+2 |
* | Update coq window creation | Yann Herklotz | 2023-05-11 | 1 | -21/+22 |
* | Add ymh-tabs-switch-project function | Yann Herklotz | 2023-04-25 | 5 | -9/+57 |
* | Fix diary schedule function | Yann Herklotz | 2023-04-24 | 1 | -3/+11 |
* | Check the number of open frames for Coq window creation | Yann Herklotz | 2023-04-24 | 1 | -7/+19 |
* | Add custom export to ics | Yann Herklotz | 2023-04-24 | 1 | -0/+14 |
* | Add tweaks to isearch and dafny | Yann Herklotz | 2023-04-09 | 1 | -3/+4 |
* | Add unfill-paragraph, darkroom and whitespace cleanup | Yann Herklotz | 2023-02-18 | 1 | -0/+10 |
* | Add commentary to the init file | Yann Herklotz | 2023-01-02 | 1 | -4/+5 |
* | Fix function names in ymh-common.el | Yann Herklotz | 2023-01-02 | 1 | -5/+5 |
* | Add electric pair mode and puni | Yann Herklotz | 2022-12-24 | 1 | -0/+1 |
* | Rename check-file function in ymh-ebib | Yann Herklotz | 2022-11-27 | 1 | -1/+1 |
* | Take more configuration into packages | Yann Herklotz | 2022-11-27 | 3 | -0/+196 |
* | Add diary file | Yann Herklotz | 2022-11-24 | 1 | -0/+10 |