gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Collapse)	Author
2014-06-19	css/style0.css: like css/style.css but without changing the default table style	hallgren

2014-06-11	new.html: a proposed new look for the GF home page	hallgren

2013-11-27	Adding an alternate style for the GF home page	hallgren

2013-09-29	GF home page: minor style changes	hallgren
	+ 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.
2013-02-07	GF home page style update	hallgren

2012-10-26	GF home page: avoid line breaks in dates in the news section	hallgren

2012-10-02	index.html: better news formatting	hallgren

2012-08-06	Updated the GF Developers Guide	hallgren
	+ 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.
2012-06-11	GF home page: link to GF clouds service (cloud.grammaticalframework.org)	hallgren
	Also some small cloud service documentation updates.
2012-03-01	GF home page minor style update	hallgren

2011-01-18	style.css: remove border from linked GF logotypes	hallgren

2011-01-11	Link back to the start page from the demo and download pages.	hallgren

2010-12-22	Documentation fixes	hallgren
	+ Rename some txt2tags file from .txt to .t2t and remove abandoned .txt files. + Add program update_html that finds all .t2t documents and updates the corresponding .html file. It can be invoked with 'make html'. + Add style to some .html documents
2010-12-20	css/style.css: a style sheet for GF web pages	hallgren