| Age | Commit message (Expand) | Author |
|---|---|---|
| 2005-12-02 | Transfer added guards and Eq derivation. | bringert |
| 2005-12-01 | Transfer: Added Double type. | bringert |
| 2005-11-29 | Use rec and sig for records. | bringert |
| 2005-11-29 | Added meta variables to transfer front-end and core. | bringert |
| 2005-11-25 | Move transfer into the GF repo. | bringert |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |