started DocumentationLav and ExtendLav

This commit is contained in:
Krasimir Angelov
2025-02-05 08:30:04 +01:00
parent 643ea07c3b
commit f03d06b81d
5 changed files with 119 additions and 2 deletions
+1 -1
View File
@@ -1,6 +1,6 @@
--# -path=.:abstract:common:prelude
concrete CatLav of Cat = CommonX - [Adv, CAdv, Voc] ** open ResLav, Prelude in {
concrete CatLav of Cat = CommonX - [Adv, CAdv] ** open ResLav, Prelude in {
flags