| Age | Commit message (Expand) | Author |
|---|---|---|
| 2005-12-06 | Transfer: Changed transfer program file extension from .tr to .tra to avoid c... | bringert |
| 2005-12-05 | Transfer: fixed Eq derivation to at least work for GF-generated Tree types. | bringert |
| 2005-11-30 | Transfer: derive instances, not functions. | bringert |
| 2005-11-29 | Split widesnake example. Changed examples to use rec and sig keywords. | bringert |
| 2005-11-29 | Added stoneage transfer example. | bringert |
