started DocumentationDut; not yet finished

2026-06-27 03:46:29 -06:00 · 2014-06-05 08:03:33 +00:00
parent c2ba4144e7
commit d4e3d831d3
5 changed files with 261 additions and 1 deletions
@@ -0,0 +1,6 @@
+--# -path=.:../abstract:../common
+
+-- documentation of Dutch in Dutch: the default introduced in LangDut
+
+concrete DocumentationDut of Documentation = CatDut ** 
+  DocumentationDutFunctor with (Terminology = TerminologyDut) ;