Track Claude personalization settings

Update Claude settings
Teach Emacs to generate UUID (version 4) identifiers
2026-03-07 15:23:37 +02:00 · 2026-02-28 09:44:03 +02:00 · 2026-02-28 09:44:02 +02:00 · 2026-02-28 09:44:01 +02:00 · 2026-02-28 09:44:00 +02:00 · 2026-02-28 09:43:59 +02:00
1 changed files with 2 additions and 2 deletions
--- a/.config/emacs/init.el
+++ b/.config/emacs/init.el
@ -178,8 +178,8 @@
 (use-package markdown
  :ensure nil
-  :bind (:map markdown-ts-mode-map
+  :hook (markdown-ts-mode . (lambda () (use-local-map markdown-mode-map)))
-              ("C-c C-v" . markdown-preview)))
+  )
 (use-package org
  :ensure nil
Author	SHA1	Message	Date
Ohad Livne	84bbec5ece	Track Claude personalization settings	2026-03-07 15:23:37 +02:00
Ohad Livne	1976c2cb8b	Update Claude settings	2026-02-28 09:44:03 +02:00
Ohad Livne	9b59151d13	Teach Emacs to generate UUID (version 4) identifiers	2026-02-28 09:44:02 +02:00
Ohad Livne	c219b95dbd	Add a skill for profiling and optimization	2026-02-28 09:44:01 +02:00
Ohad Livne	17286e6f60	Track Claude Code settings	2026-02-28 09:44:00 +02:00
Ohad Livne	f370e1f5c7	Create a TDD workflow for Claude Code Adapted from https://alexop.dev/posts/custom-tdd-workflow-claude-code-vue/	2026-02-28 09:43:59 +02:00
Ohad Livne	dd86ddccd9	Clone Lilypond from the upstream repository and support updates	2026-02-28 09:43:58 +02:00
Ohad Livne	185199aaad	Create an optional hook system for externally-managed verification	2026-02-28 09:43:58 +02:00
Ohad Livne	d8f0429537	Write a workflow for formal spec-driven development based on TLA+	2026-02-28 09:43:57 +02:00
Ohad Livne	b8546200a4	Install TLAPS for stronger verification of TLA+ models	2026-02-28 09:43:56 +02:00
Ohad Livne	4159e4d73d	Support installing a specific project release	2026-02-28 09:43:55 +02:00
Ohad Livne	4f6aa86230	Install the TLA+ toolchain as CLI tools	2026-02-28 09:43:54 +02:00
Ohad Livne	7b26ba00fb	Install the Java development environment	2026-02-28 09:43:53 +02:00
Ohad Livne	7f99eca6c3	Use Rust via the rustup toolchain	2026-02-28 09:43:51 +02:00
Ohad Livne	9f10158f6d	Install the F* toolchain	2026-02-28 09:43:49 +02:00
Ohad Livne	040f83561c	Support dynamic resource selection	2026-02-28 09:43:47 +02:00
Ohad Livne	c16e517a9c	Enable line wrapping globally	2026-02-28 09:43:45 +02:00
Ohad Livne	8be09a6b65	Enable markdown-mode keybindings in the tree-sitter mode as well	2026-02-28 09:42:59 +02:00