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

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