gf-core.git/examples/tutorial/smart/SmartFre.gf, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2013-09-16T07:17:27+00:00 Remove contribs and examples 2013-09-16T07:17:27+00:00 john.j.camilleri john.j.camilleri@chalmers.se 2013-09-16T07:17:27+00:00 urn:sha1:f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb in tutorial/smart remove the hack that forced the proof object to be resolved 2010-10-18T12:28:39+00:00 krasimir krasimir@chalmers.se 2010-10-18T12:28:39+00:00 urn:sha1:e36cc73b0fd6f0be4c1c8809db73f997d1484e9d fix in example/tutorial/smart/SmartFre.gf to make the dependent types work nicely 2010-07-07T10:12:08+00:00 krasimir krasimir@chalmers.se 2010-07-07T10:12:08+00:00 urn:sha1:c066721dd1b200eb7e22c8c242bf48a83e5fcc69 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 last adjustments of examples before course 2007-09-12T21:03:00+00:00 aarne aarne@cs.chalmers.se 2007-09-12T21:03:00+00:00 urn:sha1:c9f8961a9ed5c33524619309171aba1b587ad7c2