9 Commits

Author	SHA1	Message	Date
hallgren	5db5c8a203	GF home page: link to GF clouds service (cloud.grammaticalframework.org) ... Also some small cloud service documentation updates.	2012-06-11 15:34:16 +00:00
hallgren	943652a3d2	translator: adding "Parallel texts" view ... This is in addition to the existing "Segment by Segment" view. Also some minor documentation updates.	2012-05-27 19:19:54 +00:00
hallgren	66e6b5269d	Adding a Simple Translation Tool ... It is part of the cloud services available with gf -server.	2012-05-15 15:36:06 +00:00
hallgren	9d47b83e07	minibar & cloud service: minor style changes ... Also include the GF logo on the cloud service start page.	2012-04-19 15:34:56 +00:00
hallgren	63e531ad39	Cloud service start page layout fix for small screens	2012-03-17 16:23:54 +00:00
hallgren	01404e579c	gf -server: update start page, add links to some documentation	2012-02-29 17:05:45 +00:00
hallgren	6f42f58f71	gfse: Translation Quiz integration ... Also moved the translation quiz from demos/TransQuiz to src/www/TransQuiz so that it will be installed by 'cabal install' along with the other files that are installed for use by gf -server mode.	2012-02-28 17:24:34 +00:00
hallgren	8266df8f58	Bug fixes for gf -server mode and setup	2011-10-12 18:27:46 +00:00
hallgren	44d1a5a9f7	Improvements of "gf -server" mode and related setup ... "gf -server" mode now contains everything needed to run the minibar and the grammar editor (including example-based grammar writing). The Setup.hs script installs the required files where gf -server can find them. These files have been moved to a new directory: src/www. The separate server program pgf-http is now obsolete.	2011-10-12 17:03:54 +00:00