mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-08-28 15:09:50 -06:00
new words in DictionaryFin and rules in ExtensionsFin ; some fun's in Dictionary commented out with ----*
This commit is contained in: