summaryrefslogtreecommitdiff
path: root/src/PGF/Linearize.hs
AgeCommit message (Expand)Author
2008-10-03Merge mine and aarne's variants linearization changes.bjorn
2008-10-03Don't build FV terms if there is exactly one variant.bjorn
2008-10-03fixed the over-expansion of record variants in PGF.Linearizeaarne
2008-10-03Fixed variants semantics in PGF linearization to expand make variants of argu...bjorn
2008-06-25changed names of resource-1.3; added a note on homepage on releaseaarne