summaryrefslogtreecommitdiff
path: root/examples/logic/Prooftext.gf
AgeCommit message (Collapse)Author
2008-06-25changed names of resource-1.3; added a note on homepage on releaseaarne
2006-12-21overload rules and their documentationaarne
2006-12-19overload resolution with value type, for experimentaarne
2006-11-27AdvS and for_Prep in resource (except Russian)aarne
2006-11-27part of Logic implemented genericallyaarne