7a4ddb45ca
Simplify Emacs overlay
2022-12-23 01:37:11 +01:00
9e681067f1
Updates
...
Emacs builds again, so first update to Emacs for a while. Python311 failed
during update, so I downgraded.
2022-12-22 01:15:21 +01:00
ee76ccb98b
Format
2022-11-20 15:24:29 +01:00
c625468d24
Add local package for Maude
...
The "official" package for Maude is broken on darwin. This one downloads and
installs the binary. Not as nice as building from source, but much easier...
2022-11-20 13:17:46 +01:00
5bfd11e88f
Add shortcat!
2022-11-03 12:25:37 +01:00
a4d5473ee4
update
2022-10-08 23:25:16 +02:00
cdbfc31d3b
Remove misspelled allowUnfree
2022-09-20 21:13:30 +02:00
70e2e4f269
Rounded corners in emacs
2022-09-20 00:51:33 +02:00
c43ca98179
Refactoring
2022-09-19 16:34:33 +02:00
746ea0f434
Initial commit
...
Trying out nix on a new machine. I would think the install instructions are
under-specified. We'll see if this will turn out usable.
2022-09-18 18:30:24 +02:00
