mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-09-01 00:46:59 -06:00
8 lines
231 B
Plaintext
8 lines
231 B
Plaintext
--# -path=.:../abstract:../common
|
|
|
|
-- documentation of English in English: the default introduced in LangEng
|
|
|
|
concrete DocumentationEng of Documentation = CatEng **
|
|
DocumentationEngFunctor with (Terminology = TerminologyEng) ;
|
|
|