gf-core.git/css/style.css, branch optimize Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=optimize 2014-06-19T17:42:37+00:00 css/style0.css: like css/style.css but without changing the default table style 2014-06-19T17:42:37+00:00 hallgren hallgren@chalmers.se 2014-06-19T17:42:37+00:00 urn:sha1:fb922b65c18b9554e74bb1e2f0e4dc8cfbcaab9c new.html: a proposed new look for the GF home page 2014-06-11T13:32:31+00:00 hallgren hallgren@chalmers.se 2014-06-11T13:32:31+00:00 urn:sha1:63c9dcd207139de48c3c6200630066da0be66d4a Adding an alternate style for the GF home page 2013-11-27T15:32:25+00:00 hallgren hallgren@chalmers.se 2013-11-27T15:32:25+00:00 urn:sha1:eea636966d2ff59fa4185fa6a25ef3707181522c GF home page: minor style changes 2013-09-29T16:25:16+00:00 hallgren hallgren@chalmers.se 2013-09-29T16:25:16+00:00 urn:sha1:7c0936b7ce23098c052253f7aa3db0c6f3d33054 + Split the list of languages into several columns if space permits (in supported browsers, currently Firefox). + Limit the size of the GF logo to 75% of width the window. Looks better on small screens. GF home page style update 2013-02-07T13:11:09+00:00 hallgren hallgren@chalmers.se 2013-02-07T13:11:09+00:00 urn:sha1:88d20ca61238edb14e1151509484c60ef5d967ee GF home page: avoid line breaks in dates in the news section 2012-10-26T14:05:27+00:00 hallgren hallgren@chalmers.se 2012-10-26T14:05:27+00:00 urn:sha1:672584c04839a79967e46f37ab3f9c69bcaf4db7 index.html: better news formatting 2012-10-02T14:19:33+00:00 hallgren hallgren@chalmers.se 2012-10-02T14:19:33+00:00 urn:sha1:92acb3691b5f19da54b0e4b7e05f3b6797133ada Updated the GF Developers Guide 2012-08-06T16:14:47+00:00 hallgren hallgren@chalmers.se 2012-08-06T16:14:47+00:00 urn:sha1:06c9e4999f8d6ab25ce4c533df45060806ca80ed + The instructions have been modernized and simplified slightly and should now work again. (I have not verified it on Windows.) Using 'cabal' instead of 'runghc Setup.hs' avoids some problems. + Also, download/index.html has simpler installation instructions sufficient for many users, so mention it in the main README file. + Also adjusted the main Makefile. GF home page: link to GF clouds service (cloud.grammaticalframework.org) 2012-06-11T15:34:16+00:00 hallgren hallgren@chalmers.se 2012-06-11T15:34:16+00:00 urn:sha1:5db5c8a2035ce257c90022deaced7b17029474da Also some small cloud service documentation updates. GF home page minor style update 2012-03-01T14:51:16+00:00 hallgren hallgren@chalmers.se 2012-03-01T14:51:16+00:00 urn:sha1:24a650be639878c1aa47aacf7f40d155ec032143