| .. |
|
async.lua
|
fix(workers): a safe display-text boundary for purpose and handler names
|
2026-08-10 14:51:54 +02:00 |
|
autosave.lua
|
feat(config): typed configuration registry with buffer-local scope
|
2026-07-21 18:29:18 -04:00 |
|
comment.lua
|
feat(lean4): editing surface + Stage 1 acceptance (Q#LN5, LN6, LN17)
|
2026-07-25 09:59:48 -04:00 |
|
compile.lua
|
fix(process): pmacs.process.spawn REQUIRES a purpose — review blocker
|
2026-08-10 14:51:54 +02:00 |
|
completion.lua
|
…
|
|
|
desktop.lua
|
fix(persistence): reliable daemon gate, unarm, per-pane after-load
|
2026-07-08 22:27:24 -04:00 |
|
dired.lua
|
refactor(panel): one shared rule for the adopter `display` vocabulary
|
2026-08-01 20:25:27 -04:00 |
|
editops.lua
|
fix(config): reject wrongly-typed spec fields; make trim-on-save buffer-aware
|
2026-07-21 18:29:18 -04:00 |
|
fold.lua
|
feat(fold): Arc 6 Stage 1 — instance fold engine (headless)
|
2026-07-23 12:14:00 -04:00 |
|
fs.lua
|
wip(stage2a): the Lua half — hooks, LSP subscribers, applier origin
|
2026-07-29 18:09:03 -04:00 |
|
git.lua
|
feat(git): adopt the destination capture --- P1a fixed, lane unblocked
|
2026-08-10 22:17:37 +02:00 |
|
help.lua
|
fix(help): forwarders must work programmatically, not only from M-x
|
2026-07-31 20:31:00 -04:00 |
|
indent.lua
|
fix(edit): PR #109 round 1 — shared search invalidation, daemon anchor clear, bounded indent scan
|
2026-07-10 15:46:36 -04:00 |
|
killring.lua
|
feat(edit): editing-conveniences pack (editops)
|
2026-07-12 15:33:17 +01:00 |
|
lean.lua
|
fix(process): pmacs.process.spawn REQUIRES a purpose — review blocker
|
2026-08-10 14:51:54 +02:00 |
|
lean_abbrev.lua
|
feat(lean4): the Unicode input method (Arc 8 Stage 4b)
|
2026-07-26 16:24:06 -04:00 |
|
lean_input.lua
|
fix(lean4): count fan-outs where a claim cannot skip the count
|
2026-07-26 17:15:24 -04:00 |
|
linewrap.lua
|
feat(view): horizontal scroll, text and decorations together
|
2026-08-07 22:43:17 +02:00 |
|
listview.lua
|
fix(listview): tear the panel down when a `keys` bind is refused
|
2026-08-09 15:52:17 +02:00 |
|
lsp.lua
|
fix(lsp): read the glob form from the pattern, and stop a cancelled scan emitting
|
2026-08-11 09:00:15 +02:00 |
|
mcp.lua
|
…
|
|
|
pair.lua
|
feat(typed-edit): the typed-edit consumer chain (Arc 8 Stage 4a)
|
2026-07-26 13:00:03 -04:00 |
|
recentf.lua
|
fix(persistence): symlink confinement, real test-inertness, view_top restore
|
2026-07-08 18:21:46 -04:00 |
|
saveplace.lua
|
fix(persistence): symlink confinement, real test-inertness, view_top restore
|
2026-07-08 18:21:46 -04:00 |
|
syntax.lua
|
feat(lean4): editing surface + Stage 1 acceptance (Q#LN5, LN6, LN17)
|
2026-07-25 09:59:48 -04:00 |
|
terminal.lua
|
fix(buffer): fan out generated writes, and clear the history that exists
|
2026-07-26 13:43:22 -04:00 |
|
typed_edit.lua
|
fix(typed-edit): close round-8 review on the consumer chain
|
2026-07-26 13:39:33 -04:00 |
|
welcome.lua
|
feat(help): the discovery command family — P4 Stage 1
|
2026-07-31 19:04:48 -04:00 |
|
window.lua
|
feat(window): adopter placement opt-in and the Stage 1 acceptance suite
|
2026-07-24 14:10:45 -04:00 |
|
zoom.lua
|
docs(zoom): the ties both round up, they do not oppose
|
2026-08-06 17:50:03 +02:00 |
Levi Neuwirth
e2394c7ded