add DocumentationEst

2026-06-27 11:56:28 -06:00 · 2014-10-17 10:39:19 +00:00
parent 942c244c3b
commit e3c7b1e9fa
5 changed files with 442 additions and 0 deletions
@@ -0,0 +1,6 @@
+--# -path=.:../abstract:../common
+
+-- documentation of Estonian in Estonian: the default introduced in LangEst
+
+concrete DocumentationEst of Documentation = CatEst ** 
+  DocumentationEstFunctor with (Terminology = TerminologyEst) ;