diff --git a/src/www/gf-cloud-api.html b/src/www/gf-cloud-api.html index 906b583b5..698bda510 100644 --- a/src/www/gf-cloud-api.html +++ b/src/www/gf-cloud-api.html @@ -111,19 +111,19 @@ For documentation of GF shell commands, see:
This command can be used to check GF source code for syntax errors. It also converts GF source code to the JSON representation used in GFSE (the cloud-based GF grammar editor). -
/cloud?dir=...&command=upload&path1=source1&path2=source2&... +
/cloud?dir=...&command=upload&path1=source1&path2=source2&...
Upload files to be stored in the cloud. -
/cloud?dir=...&command=make&path1=source1&path2=source2&... +
/cloud?dir=...&command=make&path1=source1&path2=source2&...
Upload grammar files and compile them into a PGF file. The response code is 204 if the upload was successful. -
/cloud?dir=...&command=download&file=path +
/cloud?dir=...&command=download&file=path
Download the specified file. -
/cloud?dir=...&command=ls&ext=.pgf +
/cloud?dir=...&command=ls&ext=.pgf
List files with the specified extension, e.g. ["Foods.pgf","Letter.pgf"]. -
/cloud?dir=...&command=rm&file=path +
/cloud?dir=...&command=rm&file=path
Remove the specified file. -
/cloud?dir=...&command=link_directories&newdir=... +
/cloud?dir=...&command=link_directories&newdir=...
Combine server directores. This is used by GFSE to share grammars between multiple devices. @@ -131,7 +131,7 @@ For documentation of GF shell commands, see:
-Last modified: Wed Aug 1 17:35:16 CEST 2012 +Last modified: Tue Oct 2 17:26:02 CEST 2012
TH diff --git a/src/www/gfse/about.html b/src/www/gfse/about.html index 11b66b380..b57242675 100644 --- a/src/www/gfse/about.html +++ b/src/www/gfse/about.html @@ -59,10 +59,11 @@ of the display to "Enable editing on touch devices" that reveals all editing symbols.

-In spite of its name, the editor runs entierly in the web +In spite of its name, the core of the editor runs in the web browser, so once you have opened the web page, you can continue editing grammars even while you are -offline. +offline. Grammar compilation & testing and some +error checking is done by the GF server and is not available while offline.

Current status

@@ -81,6 +82,7 @@ abstract syntax, and one file for each concrete syntax. The supported abstract syntax corresponds to context-free grammars (no dependent types). The definition of an abstract syntax is limited to