| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-09-16 | Remove contribs and examples | john.j.camilleri |
| 2010-09-21 | fixes in Basic.gf to avoid loops in the reasoner | krasimir |
| 2010-06-06 | SUMO: remove the uggly SubClassC and use KappaFn instead | krasimir |
| 2010-06-06 | changes in SUMO: formatting and fixes for lots of lots of small problems | krasimir |
| 2010-02-17 | added examples/SUMO | krasimir |
