Repository navigation

Label language preferences + diff-pretty label-language prefs support - #1287

Merged

jamesaoverton merged 7 commits into

ontodev:masterfrom

jclerman:label-language-prefs+diff-pretty-usage

Sep 30, 2026

Merged

Label language preferences + diff-pretty label-language prefs support#1287
jamesaoverton merged 7 commits into
ontodev:masterfrom
jclerman:label-language-prefs+diff-pretty-usage

Commits on Jul 4, 2026
- working version of label lang-preference support, with wiring into robot diff's "pretty" format
  jclerman
  committed
  566c7d3
Commits on Jul 5, 2026
- update diff command to accept label-language preference-list. works only for "pretty" format (for now).
  jclerman
  committed
  72fad99
Commits on Jul 6, 2026
- fix test-failure and add additional coverage
  jclerman
  committed
  af873d8
- add missing test files
  jclerman
  committed
  83f3527
- repair language-preference cascade behavior and corresponding tests
  jclerman
  committed
  abd5ed4
- add wildcard support and document relationship to RFC-4647
  jclerman
  committed
  65d42af
Commits on Sep 30, 2026
- Merge branch 'master' into label-language-prefs+diff-pretty-usage
  jamesaoverton
  authored
  199de90