a7e928216d
Fix org export and babel setup
...
Using engrave-faces!
2023-06-14 02:04:35 +02:00
4fb674d967
Disable packages that have been unused for years
2023-06-14 02:04:35 +02:00
c6bfa68697
Move sections around
2023-06-14 02:04:35 +02:00
6c0bff6ba9
use-package mu4e
2023-06-13 03:47:42 +02:00
0441d32ae8
use-package macOS stuff
...
That was the last of the packages!
2023-06-13 03:47:42 +02:00
a3a859cba1
use-package z3
...
Done with the packages
2023-06-13 03:47:42 +02:00
7c5b2ff52a
use-package which-key
2023-06-13 03:47:42 +02:00
3ea536aea7
use-package vterm
2023-06-13 03:47:42 +02:00
71190bc7a5
use-package try
2023-06-13 03:47:42 +02:00
22ad834c41
use-package slime
...
(untested)
2023-06-13 03:47:42 +02:00
750e0dc93a
use-package rustic
2023-06-13 03:47:42 +02:00
276d299f7a
use-package racket-mode
2023-06-13 03:47:41 +02:00
82f363e3e0
use-package proof-general
2023-06-13 03:47:41 +02:00
0f7a29d0fa
use-package pdf-tools
2023-06-13 03:47:41 +02:00
cdc91acd35
use-package paredit
2023-06-13 03:47:41 +02:00
f0ee34e1b5
use-package Org
2023-06-13 03:47:41 +02:00
6cb25696c8
use-package olivetti
2023-06-13 03:47:41 +02:00
89ae70a05b
use-package nix-mode
2023-06-13 03:47:41 +02:00
de923565b8
use-package N Λ N O
2023-06-13 03:47:41 +02:00
832b887232
use-package multiple-cursors
2023-06-13 03:47:41 +02:00
33795cb203
use-package minizinc-mode
2023-06-13 03:47:41 +02:00
bf1adf019a
use-package maude-mode
2023-06-13 03:47:41 +02:00
589f575927
use-package markdown-mode
2023-06-13 03:47:41 +02:00
4684b2f5dc
use-package lua-mode
2023-06-13 03:47:41 +02:00
3422f2f859
use-package haskell-mode
2023-06-13 03:47:41 +02:00
380c67cb28
use-package go-mode
2023-06-13 03:47:41 +02:00
9d752baaa6
Some code that should have been deleted
2023-06-13 03:47:41 +02:00
3481584b4e
use-package focus
2023-06-13 03:47:41 +02:00
1d0f72aa12
use-package expand-region
2023-06-13 03:47:41 +02:00
307d9618bb
use-package erlang
2023-06-13 03:47:41 +02:00
3648968031
use-package EditorConfig
2023-06-13 03:47:41 +02:00
75e11d4d1e
use-package direnv
2023-06-12 02:43:15 +02:00
e6e9a9f954
Use :bind properly
2023-06-12 02:43:15 +02:00
dd7814950c
use-package diff-hl and magit
2023-06-12 02:43:09 +02:00
bff3e0b95f
use-package flyspell
2023-06-12 02:02:07 +02:00
b0856a41e6
use-package define-word
2023-06-12 02:02:07 +02:00
b1521a900b
use-package dashboard
2023-06-12 02:02:07 +02:00
449fb2617b
use-package ivy/counsel/projectile/smex
2023-06-12 02:02:07 +02:00
68942cb458
use-package company-coq
2023-06-12 02:02:07 +02:00
ba0e3ed58e
use-package company
2023-06-12 02:02:07 +02:00
f8a4292a6a
use-package clojure
2023-06-12 02:01:49 +02:00
d54edaf659
use-package chatgpt-shell
2023-06-11 22:02:53 +02:00
bfc6a144d4
Always ensure
2023-06-11 21:58:58 +02:00
89426bfbe5
use-package auctex
2023-06-11 21:48:42 +02:00
9521ff0240
Prepare for using use-package
2023-06-11 21:43:40 +02:00
5943d8a3dc
Remove unused packages
2023-06-11 15:52:35 +02:00
c57321c52f
Update copyright and license
2023-06-11 15:39:07 +02:00
bbbe63270d
Flatten the structure a bit
2023-06-11 15:38:19 +02:00
13ce840448
Adjust highlight color
...
Turns out, i had set the background color to the same color as the highlight
color of the N Λ N O Theme. This adds a very subtle difference between the
background and the highlight color.
2023-06-11 15:15:59 +02:00
961710e48d
Lowercase src-blocks and a touch of whitespace
2023-06-11 15:08:01 +02:00
