Wip/ls/variable aliasing#296

Open

LSchaffner wants to merge 43 commits intomasterfrom

wip/ls/variable_aliasing

Commits on May 21, 2025

feat: add variable/context highlighting with color and clipboard support
LSchaffner
committed

Commits on Jun 15, 2025

Render description text as Markdown in formalization popup; all previous functions moved server-side, frontend handles only necessary display logic.
LSchaffner
committed
Merge branch 'master' into wip/ls/variable_aliasing
LSchaffner
committed
Implement variable aliasing popup logic and live description refresh
LSchaffner
committed

Commits on Oct 27, 2025

Commits on Nov 6, 2025

Commits on Dec 2, 2025

Merge branch 'master' into wip/ls/variable_aliasing
LSchaffner
committed

Commits on Dec 10, 2025

Commits on Dec 11, 2025

Commits on Dec 16, 2025

refactor: improve readability with explicit data classes
LSchaffner
committed

Commits on Dec 18, 2025

Commits on Jan 7, 2026