merge of the manual and automatic grammars

2025-11-06 11:47:31 +01:00
parent 066d6f9c85
commit 6b93e87363
14 changed files with 13140 additions and 482 deletions
@@ -1,5 +1,6 @@
 --# -path=.:../abstract:../common:../prelude:../api
 concrete LangGla of Lang =
  GrammarGla,
-  LexiconGla,
-  ConstructionGla ;
+  LexiconGla
+  ,DocumentationGla --# notpresent
+ ;