Commit Graph

322 Commits

Author SHA1 Message Date
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
684da8a8fd Change theme when system appearance changes 2023-06-11 00:26:07 +02:00
4f5e1d9420 Organize the section on visual stuff 2023-06-11 00:19:28 +02:00
c30e1f28e1 Load theme according to system appearance 2023-06-11 00:16:11 +02:00
b08379ef0c Update N Λ N O Modeline
Breaking changes as of version 1.0.0
2023-06-11 00:04:55 +02:00
ec8521a484 Add a bit of doc for chatgpt-shell 2023-06-05 19:03:30 +02:00
ca835e1f83 Eglot hints are a bit much 2023-05-11 12:52:50 +02:00
2956b59e68 Fix rust setup 2023-05-03 17:00:26 +02:00
9279da4ba9 Minimal email css this should have been committed in c3d2fbf 2023-05-03 00:18:02 +02:00
c7c495d218 More appropriate name 2023-05-03 00:15:28 +02:00
a22f0c3ae0 Add chatgpt-shell 2023-05-02 16:16:16 +02:00
bce50846fa Add setup for webdev
And add some notes on tree-sitter and eglot.
2023-05-01 01:47:00 +02:00