tree e14ad2d37f931b593164548f901bb5ade50272e0
parent 4f28dc4639a9cd9044d3be70bd87bfee044af96d
author Marc Kupietz <kupietz@ids-mannheim.de> 1785771574 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1785951469 +0200

Extend the default corpus doc-nav section and relabel the release log

Kalamar now ships a "corpus" section as the first entry of the doc
navigation; replace it in place (same id) to add the release-log
sub-item. The corpus, composition, useful-subcorpora and named-VC
labels come from the Kalamar defaults now; only the release-log labels
("Korpus-Releases" / "Release Log") remain instance-specific.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Change-Id: Ie02bc64acdff5b6123ee1fd8898f514ba7ec7d35