Skip to content

Revise and document corpus.xml#167

Draft
cmil wants to merge 3 commits intomainfrom
108-corpus-xml-revision
Draft

Revise and document corpus.xml#167
cmil wants to merge 3 commits intomainfrom
108-corpus-xml-revision

Conversation

@cmil
Copy link
Member

@cmil cmil commented Dec 2, 2025

resolve #108

@cmil cmil added this to the 1.3.0 milestone Dec 2, 2025
@cmil cmil marked this pull request as draft December 2, 2025 01:48
@cmil cmil force-pushed the 108-corpus-xml-revision branch 2 times, most recently from ebaf055 to dcbbb1c Compare December 19, 2025 02:02
@cmil cmil force-pushed the 108-corpus-xml-revision branch from dcbbb1c to bea1d87 Compare December 20, 2025 18:43
@cmil cmil force-pushed the 108-corpus-xml-revision branch from bea1d87 to fe7d304 Compare January 24, 2026 13:27
cmil added 3 commits February 18, 2026 10:44
- plain idno without type for corpus name
- ref instead of idno for repo
- strip prose from license
@cmil cmil force-pushed the 108-corpus-xml-revision branch from fe7d304 to e87deb3 Compare February 18, 2026 09:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Revise and properly document corpus.xml

1 participant