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

6 Commits

Author SHA1 Message Date
aarne 3123b011fe paths in SUMO 2010-04-19 07:06:36 +00:00
ramona.enache 3870f18ba6 WordsRonSumoFre 2010-04-18 13:55:44 +00:00
krasimir 897682d952 replace SS with StmtS in SUMO 2010-02-17 12:38:11 +00:00
krasimir 07fa5c575d added TPTP for SUMO 2010-02-17 12:21:41 +00:00
krasimir 6b8fa0eaa1 SUMO axioms 2010-02-17 11:12:43 +00:00
krasimir 06654cbb5e added examples/SUMO 2010-02-17 11:07:24 +00:00