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  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							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