dotfiles/emacs/inits/25-theorems.el, branch master
My dotfiles
https://git.l-3.space/dotfiles/atom?h=master
2026-08-25T14:31:42Z
[emacs] lexical binding i guess
2026-08-25T14:31:42Z
tslil
tslil@posteo.de
2026-08-25T14:25:32Z
urn:sha1:19839d3067c8bd779fc05eb0f355564b232329b3
[emacs] cleanup
2024-07-13T13:09:41Z
tslil clingman
2024-07-13T13:07:01Z
urn:sha1:ed836738a16efb7721b72f6aa58f07541fd37393
[emacs] unfortunately the lean situation is terrible
2024-02-19T17:54:43Z
tslil clingman
tslil@posteo.de
2024-02-19T17:54:43Z
urn:sha1:3e5c497fb172a8a516c1a76544fb33fbd8ec8e0a
[emacs] fix theoreom proving stuff for 21st c.
2024-02-19T13:03:49Z
tslil clingman
2024-02-19T13:03:20Z
urn:sha1:7e62d1a5560d151b9e23b0f9ca5376a9f96ce8f6
Don't use company!
2021-09-30T01:40:30Z
tslil clingman
2021-09-30T01:40:30Z
urn:sha1:51ea063e7de59a7539aa08eb4609fe9434663ebf
Updated bash config, emacs tweaks
2020-04-10T18:06:16Z
tslil clingman
2020-04-10T18:06:16Z
urn:sha1:9f16845044caa0a11f8de97b797bcd753578916f
Tramp/Projectile/Ivy(Rich) slowness fix, misc improvements
2020-01-31T21:50:29Z
tslil clingman
2020-01-31T21:50:29Z
urn:sha1:b9a16108f8d27f2c9e401be89e13d3de0c1b9478
Changes from using bison
2020-01-12T16:46:40Z
tslil clingman
2020-01-12T16:46:40Z
urn:sha1:800b2b1a51c77a328042f47d24e2517266029544
Some proof fixes and ACME tweaks
2020-01-07T01:40:14Z
tslil clingman
2020-01-07T01:40:14Z
urn:sha1:a86d9385f37b8705fe9e9cf98361a129e2bfe0b3
Changes frome chromebook
2019-12-21T20:09:59Z
tslil clingman
2019-12-21T20:09:59Z
urn:sha1:887533080d932de82cc638fa5096b3cb07d8f2f6