gf-core.git/examples/logic/Prooftext.gf, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2008-06-25T16:54:35+00:00 changed names of resource-1.3; added a note on homepage on release 2008-06-25T16:54:35+00:00 aarne aarne@cs.chalmers.se 2008-06-25T16:54:35+00:00 urn:sha1:e9e80fc389365e24d4300d7d5390c7d833a96c50 overload rules and their documentation 2006-12-21T09:25:02+00:00 aarne aarne@cs.chalmers.se 2006-12-21T09:25:02+00:00 urn:sha1:fd90fe0791961982570835582dc900627ee62cd5 overload resolution with value type, for experiment 2006-12-19T23:34:36+00:00 aarne aarne@cs.chalmers.se 2006-12-19T23:34:36+00:00 urn:sha1:0bf909b0fd50a29f9d52a82f50c12af0c6abbc9e AdvS and for_Prep in resource (except Russian) 2006-11-27T16:21:27+00:00 aarne aarne@cs.chalmers.se 2006-11-27T16:21:27+00:00 urn:sha1:854fe0aac10c56372f2e185ab9b68379c232d33b part of Logic implemented generically 2006-11-27T10:54:26+00:00 aarne aarne@cs.chalmers.se 2006-11-27T10:54:26+00:00 urn:sha1:a5232f7e5b8f6ca988696f3870f019113edb8d90