GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-07-17 11:02:47 -06:00
Code Issues Packages Projects Releases Wiki Activity
4,859 Commits 21 Branches 11 Tags
27beb9a3f836e0fa05d4c92c3c6182e8a1a6417b
Commit Graph

2 Commits

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