GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-07-05 05:12:45 -06:00
Code Issues Packages Projects Releases Wiki Activity
6,273 Commits 21 Branches 11 Tags
6aa7806b10782fe2d1a5d138598504b8a936c7c3
Commit Graph

2 Commits

Author SHA1 Message Date
krasimir e12d96451d in tutorial/smart remove the hack that forced the proof object to be resolved 2010-10-18 12:28:39 +00:00
aarne 9b5d2fb923 last adjustments of examples before course 2007-09-12 21:03:00 +00:00