| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-12-17 | Add backward compatibility for reading old PGF files | hallgren |
| 2012-03-16 | Adding a .ghci file to make it easier to load GF in ghci. | hallgren |
![]() |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-12-17 | Add backward compatibility for reading old PGF files | hallgren |
| 2012-03-16 | Adding a .ghci file to make it easier to load GF in ghci. | hallgren |