| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-07-13 | [emacs] cleanup | tslil clingman |
| 2024-02-19 | [emacs] unfortunately the lean situation is terrible | tslil clingman |
| 2024-02-19 | [emacs] fix theoreom proving stuff for 21st c. | tslil clingman |
| 2021-09-29 | Don't use company! | tslil clingman |
| 2020-04-10 | Updated bash config, emacs tweaks | tslil clingman |
| 2020-01-31 | Tramp/Projectile/Ivy(Rich) slowness fix, misc improvements | tslil clingman |
| 2020-01-12 | Changes from using bison | tslil clingman |
| 2020-01-06 | Some proof fixes and ACME tweaks | tslil clingman |
| 2019-12-21 | Changes frome chromebook | tslil clingman |
| 2019-09-11 | Init | tslil clingman |
 |
index : dotfiles | |
| My dotfiles | git repository hosting |
| summaryrefslogtreecommitdiff |