Repository navigation

Temp - #155

Merged

bjones1 merged 12 commits into

mainfrom

Oct 31, 2026

Merged

Temp#155
bjones1 merged 12 commits into
mainfrom
temp

Commits on Oct 23, 2026
- Update: move agent instructions to AGENTS.md; CLAUDE.md imports it.
  
  bjones1
  and
  claude
  committed
  78c0ef1
- Move: put lengthy translation docs in a separate file.
  bjones1
  committed
  d51f97d
- Fix: update GPL license with official Markdown content
  bjones1
  committed
  ba8576c
Commits on Oct 29, 2026
- Update copyright notice per newer GPL guidance.
  bjones1
  committed
  45c830d
- Fix: Clean/word wrap/fix ids to be heading attributes.
  bjones1
  committed
  fd3c2d6
- Delete: incorrectly-committed file.
  bjones1
  committed
  1c05e7b
- Fix: mistranslated formulas.
  bjones1
  committed
  31de52a
Commits on Oct 31, 2026
- Fix: avoid VSCode formatting of Markdown files.
  bjones1
  committed
  a046e65
- Fix: allow <span> to have contenteditable, fixing math errors.
  bjones1
  committed
  73aa31a
- Fix: correct settings, remove unused settings.
  bjones1
  committed
  1d7e2e9
- Fix: license notice.
  bjones1
  committed
  718f77c
- Freeze for release.
  bjones1
  committed
  34b2224