mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
The Documentation module is excluded from present mode in abstract/Lang.gf, so it needs to be excluded in the corresponding concrete syntaxes too to avoid problems.