Compare commits

..

18 commits

Author SHA1 Message Date
cf3c2fe9ed
Track Claude personalization settiongs 2026-02-23 22:03:20 +02:00
48f0deaaba
Update Claude settings 2026-02-23 22:02:12 +02:00
9cf57426b2
Teach Emacs to generate UUID (version 4) identifiers 2026-02-15 00:51:59 +02:00
bc162d3c4e
Add a skill for profiling and optimization 2026-02-12 08:49:06 +02:00
2c3014dcc1
Track Claude Code settings 2026-02-12 08:49:06 +02:00
3386ce72c3
Create a TDD workflow for Claude Code
Adapted from https://alexop.dev/posts/custom-tdd-workflow-claude-code-vue/
2026-02-12 08:43:16 +02:00
b7ad416928
Clone Lilypond from the upstream repository and support updates 2026-02-12 08:33:37 +02:00
320322d48b
Create an optional hook system for externally-managed verification 2026-02-11 22:54:58 +02:00
e8250ba10c
Write a workflow for formal spec-driven development based on TLA+ 2026-02-11 22:54:57 +02:00
a008426031
Install TLAPS for stronger verification of TLA+ models 2026-02-11 22:54:57 +02:00
667914aecf
Support installing a specific project release 2026-02-11 22:54:56 +02:00
69126123ff
Install the TLA+ toolchain as CLI tools 2026-02-11 22:54:52 +02:00
f7642dc396
Install the Java development environment 2026-02-10 12:10:12 +02:00
049c8854a0
Use Rust via the rustup toolchain 2026-02-10 12:10:11 +02:00
9173b92ea9
Install the F* toolchain 2026-02-10 12:10:10 +02:00
0e61f5f32f
Support dynamic resource selection 2026-02-10 12:10:09 +02:00
4cc2af055d
Enable line wrapping globally 2026-02-10 12:10:08 +02:00
378fdeb3f9
Add a keybinding for markdown preview 2026-02-10 12:10:08 +02:00

View file

@ -178,8 +178,8 @@
(use-package markdown
:ensure nil
:hook (markdown-ts-mode . (lambda () (use-local-map markdown-mode-map)))
)
:bind (:map markdown-ts-mode-map
("C-c C-v" . markdown-preview)))
(use-package org
:ensure nil