a minimal implementation for DocumentationTha and DocumentationJpn which is enough for showing the lexical definitions

2026-06-27 20:06:28 -06:00 · 2015-11-16 20:02:11 +00:00
parent 7c0e91c3a5
commit 7f5ab530ba
6 changed files with 36 additions and 2 deletions
@@ -4,6 +4,7 @@ concrete LangTha of Lang =
  GrammarTha,
  LexiconTha
  ,ConstructionTha
+  ,DocumentationTha --# notpresent
  ** {