mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-06-18 07:40:16 -06:00
7 lines
226 B
Plaintext
7 lines
226 B
Plaintext
--# -path=.:../abstract:../common
|
|
|
|
-- documentation of Dutch in Dutch: the default introduced in LangDut
|
|
|
|
concrete DocumentationDut of Documentation = CatDut **
|
|
DocumentationDutFunctor with (Terminology = TerminologyDut) ;
|