| Age | Commit message (Expand) | Author |
|---|---|---|
| 2010-07-07 | fix in example/tutorial/smart/SmartFre.gf to make the dependent types work ni... | krasimir |
| 2008-06-25 | changed names of resource-1.3; added a note on homepage on release | aarne |
| 2007-09-12 | last adjustments of examples before course | aarne |
