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 | 1 | -3/+0 |
* | Check the number of open frames for Coq window creation | Yann Herklotz | 2023-04-24 | 1 | -7/+19 |
* | 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 |
* | Take more configuration into packages | Yann Herklotz | 2022-11-27 | 1 | -0/+53 |