| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 3 days | [emacs] lexical binding i guess | tslil | |
| 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 | |
