gf-core.git/examples/logic, 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 restructured Russian; copies of Constructors in present and alltenses 2007-06-08T15:30:21+00:00 aarne aarne@cs.chalmers.se 2007-06-08T15:30:21+00:00 urn:sha1:695f30725f3abec080dc25e88ed424d56d70a0e9 documented Combinators 2006-12-22T13:10:48+00:00 aarne aarne@cs.chalmers.se 2006-12-22T13:10:48+00:00 urn:sha1:3a84f614a983135bfac75b2704d496b99e4421d3 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 partial application in overload resolution, with priority for full app 2006-12-19T16:32:15+00:00 aarne aarne@cs.chalmers.se 2006-12-19T16:32:15+00:00 urn:sha1:2f68128323462c0488dfc98c09dbc615c1ca9cf1 more in ArithmEng 2006-11-27T21:03:15+00:00 aarne aarne@cs.chalmers.se 2006-11-27T21:03:15+00:00 urn:sha1:0c5f2c12880d339e51e5133c61216f233d5a9a7b arithm example 2006-11-27T16:43:57+00:00 aarne aarne@cs.chalmers.se 2006-11-27T16:43:57+00:00 urn:sha1:8cd9a329fa6d41849df4b7e8c2f19b34884cb547 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