gf-core.git/src/www/P, branch optimize Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=optimize 2012-08-02T12:54:15+00:00 translator: keep cloud docs and local docs apart 2012-08-02T12:54:15+00:00 hallgren hallgren@chalmers.se 2012-08-02T12:54:15+00:00 urn:sha1:7f6c248bf1623a3e0ae5b1f4d7885bd4a54edc6e + show a cloud icon next to the document name if it is stored in the cloud + in addition to the name of the current document, remember if it is stored in the cloud, so that the right document is loaded next time you open the translator. 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.