mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-08-06 20:45:12 -06:00
d809c5db1e
The commands available in the shell after import -retain are now a superset of the commands available after import without -retain. The PGF is created lazily, so there should be no performance penalty if the PGF isn't needed. If there are errors, they won't be reported until a command that uses the PGF is entered.