add DocumentationEst

2026-06-27 20:06:29 -06:00 · 2014-10-17 10:39:19 +00:00
parent 8cffb8f830
commit e07df1a94d
5 changed files with 442 additions and 0 deletions
@@ -0,0 +1,6 @@
+--# -path=.:../abstract:../common
+
+-- documentation of Estonian in English
+
+concrete DocumentationEstEng of Documentation = CatEst ** 
+  DocumentationEstFunctor with (Terminology = TerminologyEng) ;