This website requires JavaScript.
Explore
Help
Sign In
GitHub
/
gf-core
Watch
1
Star
0
Fork
1
You've already forked gf-core
mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced
2026-06-10 02:26:32 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
63a3fab27632f87ee18c2a5d6b597f6ffb51bea0
gf-core
/
examples
/
tutorial
/
smart
History
krasimir
e12d96451d
in tutorial/smart remove the hack that forced the proof object to be resolved
2010-10-18 12:28:39 +00:00
..
House.gf
…
HouseEng.gf
…
LexSmart.gf
…
LexSmartSwe.gf
…
Smart.gf
…
SmartEng.gf
in tutorial/smart remove the hack that forced the proof object to be resolved
2010-10-18 12:28:39 +00:00
SmartFre.gf
in tutorial/smart remove the hack that forced the proof object to be resolved
2010-10-18 12:28:39 +00:00
SmartI.gf
in tutorial/smart remove the hack that forced the proof object to be resolved
2010-10-18 12:28:39 +00:00
SmartSwe.gf
…
